SQLite format 3 @ .0: 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @7t,D ]/ ComponentDependencies:threads=4elapsed=58.494cpu=168.936gc=7.268factor=2.897zXZ ִF ! 2] ŗXf[&[:0.mʬ38+Ro.fWiqkKbtM-i e%nsF% <-)X/ Vx3:>O}<[Z@g(yvL-^q+&_q@PUpk( &T=}箉դ oD9n3 XVMkO/u|*v4G,жezI@2&1E]Ȯe(*CK?KN;!!bK>!@FGW&OjKr!s)C(rh?b + rv#Xp]`խԩ[65u(1"+AvmGԘHĖ0G{"e_nkJ8]n5 :Cf;VL:I-R_P9%#ۃ5,*N?$Mtte|Y&\ CJ":Q{FURBiyl$0+ (cey$`YOIŇ1´)MUj gr; 5 \XMg YZ7zXZ ִF ! ) ] ŗXiɟf_ȞK¢ `SF)qsL4]GP}?C;t:@@݄B#g5NlEqc#vڢK7z3,Aϓh i=@ +?@> gg YZ7zXZ ִF ! U] ŗXi%GT-z7Cԭ %ڧD֣0#Ip ߮`t F?VVJ]D >S8^b&8FaFRh Urn<{42v7Ij ?-[ Gв#,DV!mgHaQʹ Q?;LUӚI+j'"\1dv|g"zp|eO ecfۮ!GVfpu/KiH c^ڊ\}r囁+iwWQ3`1P"wkU?]3FitO$H;*=1vaDw4Bi:)?XS778S-PձѱJWU2nuﹰe3Ҵ-G's)c]rJ'9dJ9GQGo^~yp?Յ!r=fieiLGq5*K$mkƧ:@Q--'$|:o,hq1 ;>Ov4Rh?sE|gOo67Y#Ai; 7 ComponentDependencies m# Sؼ_MVkXm$2!"wޕ%.e!GfF`W4-YfǀTy7Ȇ1c=)呫k FqTj+ P.K`nZNu o⸤i5Eh#Ѥd8u"" շDQQY3 rНs M%~-vu*| HlN#-܀٠^7fyi[U>m%>j~Z7r { w VJ/,/P-DzYMNc@^vuJɴOPXcZhҼ"KC3&N$~ηMHXT]!9;^$ qs7bpDŰU'6HǩU9@팽#>RɇirV 1|70KW鳝NVO͕6y[fQ]I릆=mY}P=7>Z se:FN2ǽ ϹSZiGْim^whcnЈF=9aX< H͝8:,*єe\BQ֫Dy c1RJn NpZ%bbV9_d OO~e*]@Y+cr_?)D%Xk^1|[9NlRecz@-'T Rvt?2&U'X<6`Mz6 TmVIs֏4k|sBQ?5cMl8jMgN@9_qq鵮Ӳ6$1GYӽ*ЊtYc\)Nϲ`KnPbє]$;¨~c">3g$hͤFV~ u`,"u/vj%pkOKj靟1*葀Зv)H"WSF{xɤSx<ⱓ+Ce4 @)C;jRZ,%F6z"50"kv^(:S/a 7ct$iHb-s^u/%:Tb&mjoT}<`tGd@[+_.ԏla,L,BO4 ye]/JE!9^Knzrx]g8~pMS|~=)Ҋ,#eONWTV7L=ldi[P 2ǟ_mVeNy,93ylg<ա=/ t!FC-KCc('щEL_PiTbʬj^"yH zq`,R,43(E3=-Zj\34zj~%dn1X6StkZS'hwFrFKDB)+[Y܋Ձrp`cTyDw+<'^Od`tی 挐S-:=^Vz~s9NI~Tky8xJ#)8OO[V^ː{rmCL `]jo6SX1s-RNzZ6Iji"]غXT'C:!«֏