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 zzo l E/ XML:threads=2elapsed=19.515cpu=29.864gc=2.052factor=1.537zXZִF! Q}]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLu YhC̀L'9݉FwZ?ӘfL*j|2lńtӝ]V+BW$-,PN3IzW~N4h?>*3!Rl&+}E7YsA?k<lc>F\B C+3\W{*qC5٩_E7x  XML @nk Vy2I[!$Z X_ @~m|$QHA”9#8E>4Fm%n]?jG4{ͼTxϊԽ-OUi}8Z}s8DX9:Y[7L/Ň8*3-ON֨Ѱ/c 3Le-Xq?ƸB dtxfZJ"IAI,o+%Fysޫ紺ETer1:9Pv} %ΗnqxpZRX[޶s>.wIJ\"{07Xn"9bIhp *Yyn/DVWm8NrPt~p. /GaEJ֦7K}3S6^5\bPIKQN[1]KY^NM &l,G&\=\~}W:Z/.7Ɯb{g榄?K#C7zv4S#vyӒj~NץkօZ=s9 6&)Zм\2CeG^8$bӃ:O[ƥCHL F h=|A l8m5pXM]\Ea4&]#]?ՍmHv{ZZ߮kg_#z)i25ikU$7nZӕn`W2J~nINntC {EIXv 3W/R`?$rg#o?U Zu|IbNp-M3/MEMel?:֢+,%TfX~9^iNAq&8Pрي#Ape$FX|\rcOZcZ*3 Y ]oڞ: ;X=hǫt*mЁ\f\eaas0J3P=܌0@?|Y(Z5"hہOD8cN;P=)z-vQie Th<>  hR Q+aޔyL{BP_E復m x9t)2V9} ޣ]niEwPϊuZ|ʑ&DP鰓/Yf?\') Ln] 56r/e2N~ƌtA)5Yd?S<yIº__I*eZ 4p"nouQ=3F'J2O>{Wtū2}U(pҪ8/lCDMapA D`Rq)Z[ ]YFQI};.gE+ b%qtZ(|1q@_Áh҂).[8*0iJDlW/ ; 5- '}WEKճQIa7r'-м"5Њk.X@{gYZ7zXZִF! bm]ŗXi%DQ> /0N!q?"X5rhYO',Du-,ޡ_b c} !K~_hCc]icw0=GӁ28$oӜT_{_D8 Mpl_$Nw0ʟ`= 4MsFZ&.ۛAsn'}^ލ%P;UPbctP]AH5Z*gRX|rai YSK4b<~X1.$q~P<)9Ry95 n)-NP-7p=y[¾(vhk!-ju p8q! p[15n ia;y-&toaU;# E&;/`ʶFx8WM& 70)eU-m#>\Xe iav :r,ޢOKa:ulL$8߷&Oc ՁKOR9|б65|zns9b@M.D[kFӥ{@QqQоHƚKtUWBj+AU-7lDO z$kb^"z5uih޵ ;CUM!G2NȦhHk@n5CfJAӞpmmꝱ!-Caz#~\Rqpͽ%eă)xL*O]` ~m^˅ Cȹjcکt+XIlN- {~#ppt]Jz]7r&,QW P`wje܍hW]v_GFhbybB`6eI˪oc%'w L/[3¿| w}] N}?Ʀ#8y5P$[ +G |Ү?%! ^y:_ dZWkIBObJw9I;Xr.SiI)]- 6ğ5]A+Ńqg |yY>U2*:\HHm VZC?P2f1޼ wBzN