SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ! tT| ]]VTcomp_Lib:threads=2elapsed=16.701cpu=22.888gc=0.960factor=1.377zXZִF! ]ŗXf1-/6vR[se?o0.u/J_?'đ}`:U&^\]>5jXӶ0>9M=m40(} HU9lw<epUJO-*_Qu|V~am>\TxRgRW+Um 4 !CAGUL0֍6pW^rWٛyrq.Bqud^&ҘƫX̝;>abQ_ / QCB^qsځ ]!0^F]Qa *Rm?Bs;rO7mK k+ L)oqYu^} 24`oXThA[i|hz̻?ӳެ wG:Weh WdxTx?nP `Vj(dZwcSa$4}B/&{qkEvr=~ߗN )|d K wI0K ى/'s#r]SUvp`27 ,LB+ yp,E+B81Y_a^LЄ RI*hC1.&#?/ƭ'cLm|ƯaO|y'- ^bzOI3`A0W#i9-HgYZ7zXZִF! ]]ŗXiɟ!aMóլ=nSHxwDon3!jMQMzmt#oJ?ahƳmNQ1ͺINߊTqdž/kro{e{V+Z_9sZ2XfgYZ7zXZִF! Og]ŗXi%;Y=]e)S%gfȢiK]䃧i%[QfȠDlG.;J}dpEy7nL6wߴy/5X]EOc(dz?kIK),آ|Ȉ#J,#6H&l׾…w%7KG\@:ؗwvԄٴ,=wR 34."C2joE)Ӑxq>񬌌ݏx JmúljS6ЀetV <+[t^?c"NQ gUEE _LH^̈́D~ GÄ,qӨ~vl}Xܻ ni+`pVPr5)SrZELznԵdSo]9ex6jzʃh1zNm"0Ċ* ƾ^H.;7, rl /N7=35#?%0 #Kr{e6HJL2ah6]I9*Ӥ9)3PB7mQԈ; 0%.-e?!x4RN#-Mjx5]aӓÏzVDk1mcw>=73Xq07ؘE~"r7!Es(:YFKY0IUK#|bς*Bhl1K3 ¶'54`4Rb=_f|~"y#b5?BLl;&}I!\$2N/XG jR P=e("=im@B}+S_g Q,CB#2Ƌ4=[oN/H o9ԞΌQx5b~Ey`^n ˏN@+V=DK"dyeէKŤP5izT)_L:{|,H D?<>Uqf#%x5 [+ܱ3;gD3(\hox4pV`>a>w2eHo}PDQj7*r8~܁NjY%6!\4bku_GB' %gYZb4c8e1c92bc3a2f99d1f905fe137ddf3f396e0a577b05a38c61bed9464e9d08cc674c7ee5a9515fb 67ebf28886cf3720f60d93584be27ba458428631 562cca3131f941a012cc62a469bbba2f31b3c4dc 91174e02c4e8cb51ec60a46aadbdecce9d8d7655 33bfa9beec2da8efd23aa06c574f788f19564a8c cdd39872990c7feee7a62bc0a9216f6e6807fc86 1dd25434dc4589be0b00c0056a0fdb11757cf5b2 524810cdba0fa4f0aa5442ac0dc65333cbd3b869d921059e639f93f908ad9c7e443d472bbfaf36cf  ! VTcomp_Lib