SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info <<-%l S MSO_Examples:threads=2elapsed=71.044cpu=131.408gc=3.812factor=1.857zXZִF! \]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqycx %mu"?#bl_ag?MS̘7 j6GczeS;YO Ar6qb:8!4ʊSyht'yA `j%0eX,r5D@^>tWxpE wBh*Yr-r7 ]SL#* #H:,G6#Wbˎ7yW % MSO_ExamplesQC"fv+;]4гpvXsؖfR\KP\K"xb5ƅ)˹m̷!O<Ϩ['I3gQ8ȿI"`q۱gYZ7zXZִF! G]ŗXi%DQ5"~h{┧Iyc|P{`gb7Ok5*L0g }7`pkζ5B[$Yb+נ}"{}Q #ĐgN!%uիDs %ѱYa6H\pB:hiZA"F],ن0= WvKQ^xz *<գ5]BK,C6%䲥)=Ա5psOyTd%%8c4 U LXG-$UZl ̱Xϖ7 vj^~,X<B5L |zu:wQ}voi''BJ;,c^!rc j St9]a̓orr)ʤv#/l({\?Z N?!cadLNw FNG&.KnTOO^KGndvZN>NzgW}H:u*@xWyBD_ kr-KϠa5\^,^?Wv|aRU ldzCJL62*/ {@e{.o@WVz( hpYv'7 뻒(;ndni7~?G8%L q#Z Nǔh# `rSMND;ZF7m(xR0% p܁K3@b3]nsK[ohc%H*޹œ{>vIEvĩ"{=$S+;#R4&T͟x)7t+♣0*XM˻:WyDxui߶HgM=Uc)e`p[vI74{<ZAߒQE~&|`zV<' 9%rZŹMrIFX̬=ߜߵsݻt ~9=hs#+ ŰL*Rg"Q%%'Vt}?GbPOײ7(w8Q8vBjfN,&@U,xQ4aÙ&ʩbk8)+zwKSDe#=iHP.I\BB&W_hG8"Lp1;Q6YCu~5z>Â[,`jp_5 ?2]R໠v qOʹ_|qS= Ǥu80iB޽q \me-c~<1""xrWI"Q(Hc~fҕg߃j+z D ^$t#_irD/QAK y\IY:̵DI|t~u Ѧ~2x:nϽ2+DRA;"?O2ۛ4 iAh#r?Iܮh֥՛A0{9L h- T ]'-3㪓'PZo# |SGUÔG1vB6dZvg~M5f81$Qyo(dgD~Bג:|{5TpU ]?!yK!L T%{M3h}˘O9?$Y߄Hf6X{ա_l&4^qBՙ>! ]<'7<4mG 1F/ٕQ9X{%zZ'{^PzFJ+]n]L3SW {78Up6d%F0E.Y$ssk[13* ]8[ND:qÍ.2rb,Ui/7,.jسO%Rd\r{E:[k8Ei?! 9! b-i _O N <ۺ7SnfQ~%w v府 lbh{DT5"bPM