SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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, I/]Stone_Algebras:threads=2elapsed=54.186cpu=89.600gc=2.736factor=1.657zXZִF! 9<]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g "G's#N1C'% k)-mHߊ$N F3oJ8eqT{~=s9=]8[dG\3 @fix&"R-,I|X8YT`$l$>վ~}'NAUݽ[eeݰ7& gPyqs$KZ'I.%++}Aa/O}bg#)gG'^6c5G~ۚHwׅZdž`,u }7|Pj.yfҷq;=6xR NUzm`c/v0"XЁ+B($upHЯ^ZMn@.NlIEWI(>}d]a?1DXt#*;@DU|f>&f@:Yl//uOAA\Vs̒HN;4]X%CZz%Cl 8scZ~:a8B?[~tˏyvFJu`ŕkoO"SF>\EG="u |`Ⴔ ;va:"N 0O9ڢ9Ɔ5j`RO:IFZ |4"%t4Ą7%V"C npĕ:< \fԇ{IAd8u9kY Nx6Ȑ<јDFpCWnqKZkOѩNxp>3Qϛ  ) Stone_Algebras`Ɩ> pxMTl4~dEیD8H߈~i!ۭk_TZ[[#tΗ#GocE-eZ $䲖lh.8\lo W:u3PYGj~p|/FR!.TGcϹ //@`(҃z ܫ4vثm;jI> VoXs}t9c rM gYZ7zXZִF!  ]ŗXi% 5C#Sƽ/n߰(NgҶ#>Y:2콯|7˫sXk=? PA,ԃ _e 8&6R($݆O /0nV@^^T y,여U<hm!v?` ܂Sl\וܤKϤ~ߴ9#$T[Ⱥ8${9GXYD[@uabQXswIeGz$qd*@ti1nF*Jɥ3Ḥ,бڴ@˒RIw>6)PGҎv 5"}8tn-"4 k*>40sZ}ZeZ\?Z<[+sMCQc83MtI|īI. ԍN8˨*幀@fc1 Ui̔aYtuG鳮"h~ɽ-^4kK%tfA2z0ui.KR6B/f+aJCVʹ#֞Eh.w5V^X@ .ϿPgba3I!4닄^^?L8`i[F$} XE=(0ZO6WTֱ)B្ s0Hz{/r}Y-6/"͙h}8uJyƸ&Ha):ᘐ4mRPt_J ZGBuPe[ e$xu{drq7N*B—C*; "A13Y?G2Ps|0)J*AlS\n,1%mgc2"F@'R\@et}J AKFȎVƄj7m HY^iTKWK qKD~S"fWkz%sk$u*/Тu|^ y-A_Kp T.eхLkgL_vN\Ħ cTZj!8-uz!NU<1G/B tS ;6w&f׷Vz&-lAX'8 *kD|eqק=V$$嫆0DA:a \ bezn];Mt<--[kHZaFBu`h CQ$0ɪ~}Jɨa`R:g/ ιBNVL) [Rc'H^qђ?Yt')&6~@e@ؤ8GVS+'{o6i_z RL=1^uay)yAkx݇}L$'͒g~\P]lqVښEj_$QCYsd[P!K7;Kd:f+*S8G*$.;/NkqۊmAa S{{Rs%g:wEy&&<+C.-֮يB4d;dG #xxn ~6[+-#Lm )6"H4"E]ke`KUp6 ?]R ' |-V3@!fM',b+~Z!w3An <1nَ;_X&ց3mYP6 i!_2dBemf H+ pm qzLE8x=5\6A"GIt=µ[7 b=hPbsLY5 q"9Q&o_?ܜ+) ےfLm-Z~"e![S ]\w_% I>