SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   ] 44 ]/]UPF:threads=4elapsed=22.008cpu=73.472gc=2.812factor=3.347zXZִF! Q]ŗXf[&:sFqX`xPׇ!9Un06N@M6\gg( !gp1ۑjlXHyN3\pK 2<\M @ 7P,+x戮M!b5uLX1:Q,:UP<, *٫2wA| Q)^ _7cA֝B4* -ǡ_MDz: s2*xcβ3JB=Bл\Yv TV}Nu Q;7tSχ Uhn#Qٮ.M 3:6)GR^nܾ>[byv_m; bL1}$2e5`N..|\ [ NqGB*%-CwZbb(-Փ0~'D7ȅ%vuS6$Q*Ggc "m7LMVD:&h7KgT (N>vx%~,9Y~Ax >~J.GUMHU c7͛ZB&>+4}7.|81l78K QHv #S%rwV)%x.u٫tgfϢ>;֛2=gYX9G{r΍{2A=aW⯠"t`QE5b7 gYZ7zXZִF! ]ŗXiɟܤ#k0{/!sYÔzza\Fwd16q{?s20 +ttJ熳$]T)É ^DȆ%sz bf>{1H!K` 4B9!%s83p7%߭T^`ȇ&"Nq$pCRD}#H?|\KitxLOlU|sEw5x64?'9]) gYZ7zXZִF! ]ŗXi%L D]7X`9b2ӫgF4gP6-WķG^gdmy.V=;Ja})_AS"S>8WSrt'9jhɕ*RV`%~Tv}ckrGhtφ;W~ :xL&6m]_;b[Dܝ?%B fM8]Y!in[7 ss{y/ٯO#Uw̱_sr~ `s Kc掬ni n/po +ΐD半]`/JvFb*@:/4dSJE'0žV!y㆙f:ˋJH`?.1'>18DoCE É?j0QUoO}]AJ7,qQcݦ۬ 4fPGPi{s(>(l#CY w٭"vzMY`aMAɕ־ë"3_,Ά/U[@ɩ~dg5n4p=F[@$o(ߒgTAC"0C([fZb{ۅTtfNM4, z4: 76~<j-#\#'g]I?P+fG3:ADJ@W@g]wn6X@e"?o` b!܉l ԴU%i3er9" n7U_!SV׻&uq} RL _Oǩ8o5 L߄8YAC y/Y|#\K󮢒f49c!\Q'arge++'^1j ȗ7ϫH4*,Z${ϯ47:]P&#u,L(K<\xP DS5>, phz{=g5= ?V&],/-/޲_By|Ͷfȍq8 "03? ͎\"uH ™%l~!bxB+d" +ە귎$фDn_u8RS]4v0VI:R]<풾 f\Of] 4W9)綻MruG:$ba#Dv @UH,!/dy3RdlNy!| DN4O|-F~V >1*RT6Ҍ6yƷlgi3|jl!sshlSΑQKfWՀÞ2"H6GFߚ,"HZB]' ;5Fef|sIЬ(mod(G%ܹ܇tt:tz %[V*+&9ѸvU s+>.ҵSx܊="K3$#%w}/$;hjlylcs+g:Cbxֹ.xĜ-.W7XRgӁ"-oD#ޡ6^&u,>[h%f+ak16 YGwf;{b-f) _Dl3 #He=6 B;:r +ъVH<d(f6Fps@.lne\ )27wg0EuZZ/~{hctJ