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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Q/ $4 ]S Monomorphic_Monad:threads=4elapsed=33.131cpu=57.240gc=2.316factor=1.737zXZִF!  J]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rΆ_zF`o?B:HkFn1$4Ӑ/5ӛX̽MPLg(_+z=[7iNR۔jr|p²!M-yhjSAY•JKԌi'ל$)fU=,A|u$m1npvH`H!Q~܏"2`۹7?6:o;94/dj$ieWd9HύW9&7 / Monomorphic_Monad  aXI4d)#KĆKeXHXAYp?-:/`VsNʼnQI;W&ս71#+pMELkSI8|$w~҇(&3C[NX0W 竞 ʲ'>fzQPk]K  $<4ow7oŢJ7)* UBeWĠ+<,OV3$ ıgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@FfvٍPTqbe+Y!*O[%vt S?Tpr3V 9֒Ԉ-]S̝$a*c01$W$@;fAfϮJ^g߈fsNwrъI[ā e%72 3v ygYZ7zXZִF! ֬ A]ŗXi%B(=0*')?=9<ņN0s{?b8˗s3Sh sqV@iQwl h@i\7f?% lS"ı w&Ļgw8?C|h k l\LPGwZ"}g| vHt@w iRB;Q+xDxh@By5Wc>U27CK;THY2W98}+l%Ӗ*E]pdZgFSwأlxu6`֕9&Hhn*UwD𦻔s ^oLԿw Q{#v{=cN3 }of0ND@1=m蒀gM;T`VK|6#.P̗\mCINPi6ؐf_0eͷx7FeǝPӅȿ h$"D.0c4|j䧠ix2B[hΧ+3~qصrMG#a(zP(FΨbm?jM+A:`H}?#Šr"a1i۔$VWƆ^U||mKyEz<\\)AdY^#3NZ̼kDFŕM|XQ7i<DAڧ=Jٿ*=ђ~ˉOb`7^bġK ә/󱭖+1)xc׶`V*KqkEgAf5Fɔ䯉 `r5OYAGZVX#`I]XZZk\dv\;zp(ܕF󩝟 S;[7:jJ" j>6TO[&&BĚY iH%a-fV9s F/`zL”|ZnV>Ќ ^r#.u~oUоpph\#Z3gK$r-2V=@;e.+5?ԑhs Aᖶ֗z<nɦns#?L*" 0=M4 m&+{vT}{E]G^x4+|+|S=L7~=sjʀH>*dĥx8hiݿw$kDдyH`4mW WTIi)mOPmm}{g)IwZXsFe!!.K ьbx(ы ׻pئ!AoJ( 7zs ErJu\E@.d:gg*wtWn&QDN1B&GQb]˽ y}Iyj*Ȭ`Ln8pڜCDK7>$_z>-|:73=҅*dk0n:j& 9RyΨVq+ry"6ʛ}C