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 ~% $D ]/ Generic_Join:threads=4elapsed=18.725cpu=67.328gc=1.940factor=3.607zXZִF! 2]ŗXf[&ID+]kce Rm+v$)z)f ij xf%Go>+ ȴ{ [r!xH()c.?-KY܂P%x ,]ϸ^.aTHs'/"x֙K%rj,ji·uFH}^"/kBy̙u  C8.䕀umB駓hԊZMt׾{:gz9怍{B׏Kq6͉/IcCY<}*j 3]R]ݴӐ^gj߹, N;!;*fID4}ݬeTsyA?p?5vQj;L7Ц Dz<ٕ40H(VG-ڶt3iW;ѻ%ȴ/ T[P]H")ߨLՀVs˒Wufr|_nX? E夾Ҳh9"F2 νXJZoBiSdBDѥ^+[I3)ŏoڔyo4Q<>f Pۮڵ'|n]=~33l\wn# X}Df RtE8{Ws X@K4_$N P< Ln%@0}3ԕw=YT GO,"D|RL=OQT脾Wy3ZZ8BٰZ],IT#A.(Uթ1'Ob1T*nVMLj#S`7@A GPt(=xN-GG}!t m35ۜ/➧>- _樜Q.S?俷D8댃|Hv[w&OxLJF4X(`v/VBъM*LlUww&Sc@ egYZ7zXZִF! >]ŗXiɟ7^aόu&XL{qdtd.Ȱ~֊y(z[i2rتD=4_O5zf@-*&9 gYZ7zXZִF! ]ŗXi%I oĤBb@1V_GI7*Z9*<]s* ֓uڵF`6 !aYWO.O6f:x21ëq>}˵*{}7?ۊSA2҇dpւCjd :ݛzA%vUl2l IhLkv/Џ ':/ &=ѡ+ܿ0 OPkN"_ὤ9.ynOZDFG!2KVA;$L+mfsTb{`U-x|#. .7zvFZU{ԡLAFgbmǼY"(H!L nO >5^xVeM6"R0SFvVեg"ew\Yq`低_o&ɨ Ve \lRG$ϳ!NM~W8a[`+ z XgmI[@𴟥e=HD>K03T 8Q;odj|Sj{TґÔ/VwL9?1d "^;6ԙG jI6:P5B滹g D3(Ctl<'ẏ,',^͒L S35o4&X+\ (xi}9^!VrkiR;n|H ${veKF϶as #7,޻*2ch .~M0Cx:~ÍNv0 HG51k@ƨS< ˬX[V}ljȣƾly9L:z5`S*sue6rbHJ!, C#a#_0<,ZƟ?!}҄}̟'6 IT~\{a0 &2FНqOI=F>Ğr)Uzs|b,BI'?2e^qKw# L=f"aS"q Е"if뒢SgVRpwRMbrz(,-qlSnp.L4!s]вv%x)dBi63_#EUR])1~C?%jbze UЊu!"ܷ7`*:ùNY?!x}^CGAKyphGs@bo6BD'3 78 !yiT a}ґEpUưqi># ܴ<': rµM.Bگ_4L=:ZsdZ b@խRPπM]fylRL~o;\ ,Ci.2c%˴N R DYI4D$L> V&S?GQH43Gv.~W޺Vf%|F7uw-C9³ 18 Zv,l4uXѲO8۟>%$4ۈW&W}_LZel[ΏxS$ Z@8{VfsJ[!Zr[RO™s(<7A]클͜;m<]%0B0)gYZe8c5058502a91983ad87070724fb5c4fc963c9f65a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 % Generic_Join