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 5 \4| ]/ ArrowImpossibilityGS:threads=4elapsed=3.795cpu=13.740gc=0.304factor=3.627zXZִF! g]ŗXf1-q恈͐7ӺV l7L!hGfӡ`aj)GTkj [݁̐ -c4m Gf4"7 ^3{HgjW{_=hİ^̞L9xQz@w癓N ~_.fPW0 u,13T~ݳb)~8UO9Ź Ċ3k><-bG{qۄ<*.0||ٴc4-.`֓xnkK! x14tIl!@"㍝[AHQ@-\F)~6Tt 7 Z)֙BhXdgYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V 9YP; RFPWᛑFWᚲULCC7Q>z vD֛7 AtTc#ox02JhQumlNT 72ގp6gYZ7zXZִF! )x]ŗXi%B4d{|*4eP -G*XtjOn)j[`Rh2N؏ت3U`1Rb~pWGԿuD|h .-< Vlʇg.W/h!ã>$ϲ;`y45ˍL> :B7dJf?7xo#ro6]jJ<#`q]&if,ߡ)NTeȽ7^El [AVKl{1Tq`.'=f]`+訡~+cإ|ʅ@ݲC5˧ :6EA4eJI 2󨛘'H~vB"Z܌:j>%b 5bs&^&_gPcjY᷂O^=U:c#e_Ј՞iw;ncn_xw?)[xR]-&AKZ~}bNpE.FWnksU}DC;R'LnS{z bNQl!=~ʠ3;TSK5="`Y+l+ Ԑ7r8|,۵Z{"Δ\#H+BD!EISRS/ /ePaaXh$շ;!mlh3`-Ho:W2% \R},)ny`ǯ:OkWSuP`c,r 7TE+J ƍ݋ΆXdiGbІ|.(&G~?*ĻMs^{^XES-gYZc01cf3b18b3b77db51aa3408e6423e1625aacc783853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 5 ArrowImpossibilityGS