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   p t\ ]/ BNF_CC:threads=4elapsed=14.625cpu=48.416gc=3.056factor=3.317zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^HqlQ (Ƹ pJAc@a@57#o n XuzM|GW/ˡ#-o<`[Bǜlw0P>6!Er-W(eׂuk0aj WYц0ڒ(byiF}IX`taQo'^O1 /9=Qo[9 !S v`ǣ4Y\Dֶ3ͱY)ip"?|\ȬWj\HeM,OgWTi-7?J<1Iuv5^Uxo|Kg$F!xaə*6'/aL־k4ű0t9=U 8y2?`؝fjO>_t'z˶!7ayyGn<+!"#>*4Z^(y{9gLU|_ 6F%R(;A6eHi!_v4(?$[+5҃Tdm|P D=8YO'U] L0}iJ-4aNgYZ7zXZִF! F]ŗXiɟ1˦r90Fn0''ztZguT~RP@Z@8uYJ6@9ncB;C&Nwek_-R8~&Q`J3|%xjWs̅X{mN2k ?0{/fO ˖H}[@hR_xhd5NcMJߝw+ydl[' +2UR*3hx9]ݤ|2Zݫ_u$֠zF'O]wX&n#ֻs2\Y.&(ߢO&ƃs⧭HGGtm "*/$%dpǢ?Hǒ+~hBi ­ -Ǭ ϱgYZ7zXZִF! p%]ŗXi%B!ReE ȫ>ISOf@!g(k`!3hפBN8+EXIgjZ_nZ:#Ői&5.An| 3Phoˏkn12* ez"QdVs/7M>郉7@HQ`va.Bn6s7>:/`esXm@:l tlq&G6#`YH*9ol}K.R2ÙٓF2de6w7h_kA*тDXSSϹڼp4qN#B@zH?NoyxյkN,(35+7t$p"Pa8+gMX>|悥 ZsFU^^ERz` 4cw5.8-C.Egu^lf AQ61Xqjv{B|+v yr#)(t@걆V>9dP (&ݣ DM)0&LGo34((]k$2Df$@36QNA8F-c'1+4[هkU?䔛MpvgODAWuR YBK?{3@kQ;42oQGdnE(>".[6FB|f;;E'ԲI@ D؝ ś>"czO`uҨ2MEFa:}3c+ޥCLԾ!dVD3Jl~=RE{0Vc6}nnMTq KN#G>HD}&P.*ۜᘺ|n>Mg J"(;AMzlhH HԨc_x66Zm) b-"HYKrB͢WJCj<c8Vɮ>9{q[&;ɏ ;vW/4 bRiP Gbo"DŽFjs~ tp9VR$mXlX[!>"80?zzRkH\}h8e0-2h(;vU6Cꃬ7 H(9M̕>7e,T,iL#Nܛ: %|`fEFvNJƵ ^zo̍(golrQ1r!6wDNa&v;LHOLChճXFwCL<ٞf5 Ii9N/fZ ^bi=+켚]`KZᬇTi5?QHԛF޾*=U݀Y) lM"u|Jy%o)?0=앴:^_I?G~HX/z;֏ rDƣkeB;Rs$ =\YpnO(?iB]& B~QlC;.- D"!mGߓ4gYZ715e0a8b2f9cb54e371a04d42d87e5106eeb05e93853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0   BNF_CC