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  s s pd ]] Tools:threads=4elapsed=5.125cpu=5.164gc=0.0407zXZִF! ]ŗXiɟ{qA0TIKAᳲbPt,e(B`lu%kEE C`%RAlHxvyMuo%W |qLwM;t:mOgMacj_~yjKKAU ӣm4bnDfP_n;`oʄMv;6=a*zi~l23,2@A ?kɳM,~|K2F[ ( <Z3!XmxeCcIܼRBzf\LO#(`Y+ 5ʚe:~E.gl"'9 oj`LxR A٨ZZKu SvP=/eOe ߞ~i,tlusQdaw%ꭑcӲF}Yo%ap݀%? z߱'ᵹ'd؀ ?Ee"_%;v//{,5s{Ǯ<$%gYZe619bae150f65821bf34627508c0d1307235454296398ab8ee2f74c06c97a344c3a66be619380746  Tools  5% \ToolsTools.Code_Generatordocument.tex7zXZִF! ,]A-MՋhvG"uIBm5T6Y)AEŘmU lHM5؝Qw#t< Ӿ,2Zhxᶳ-r*AH!x#v&G(~{&`z2g0y,d;Rm1'ws!ӬXvxKUF>nh^&?k(z^& qZ>FT?T]༗ڋI5d#WG"9st~҂ x9s):(^b%:\8pcjr\p]o!}(Jza!*B4?_ ^a΃,4 1dvDs9'Rrg}y0!; K WJw`¾-,AlN$YMg>B4lƾA b]4H {宫\\Mֲ\SusFk|B554wVN[ '.#=gB4JPAP]fKf1U6q!=;7dbFmKfv>e7|6?jٗ~jHiteuA(ݙC@SFW!.͈[،fX#rNVjle6+ uMҠ&`w1}ŵB[sF([{]J!Nj-ۗ7&YI:KٱD@D0U^^x["$muZaQsDTVmDz@Bv큯ZPAPk[όr(f[ 82bdb l$[LGsd3rw{5_lEs=m״v 6P*F0jл0cC퉿Z):L:Rc}51BY#*QnD:^]B܂̶R b~LxJs$*2J.=7cz㤺C-O0-DR֣lg竩jԨl3'~ MVuΌ2A " K"ۃk"V0Qs^ l(љ"ӘnE!:p#,mH8Yi5=AEď~K_O:'P