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 r zXg)oJnVDێzDSܳO_rC1dn%O;~%3F_ {{pfe4|>x%K<*1<˷2.yR M7]1qnJҮlj궉E|ox8-*@on:@%ᐧ+)L~D ]n՛qaՋD/4KzL[F_pq:b#>si4Jj` 2%ۿ3U3+N'2n}S5,DJ$/ݍ`% HFœC#Kd瓩R3U)bx4iw~ɪtë ȪڋRGhP 6 qA:Uyj&YZGnbn)Wzt Sd1^# ?m^{?Ʉ>a_jd+-bZؘvFt |k~m0 ߱Qak8pt19[emZz~\VYé PWqo#a< }G+;@gYZ7zXZִF! hs]ŗXiɟ9 i:4V;}A<<ګMP7%ZC׮naY8O:ġ3;eF#*</o; DA%f$,bHk~h_bYGmSd^\d&9ISeE;+qëW$Gāa]qQUG-9R~;!ɽƍph>D37KZ8M JZ~3+r:OwF W~M~7O2CC |M5( Xv\W=Ns > 2l3益N\kVCQ_Nvʀax$ 5BJstJ~)~ dͱgYZ7zXZִF! fk]ŗXi%@fBPackaǽ[S,f7. 6b;ki fҶ7թB֪Ń[Kd(?4;*]ldND}GK@#v.cA/*hIng[-A92˶ )cぷi . Qlq7@8"2{50ˤLH32>WӇUlIccetZI'_)+,HR(&dZ%§yͻB;api(E,lLӑwX?Əۃh0gM~0c&>Z\qM[oT}R[.qQŹg,v-Ωl2) V.B5x pq7=} ~vrq-eZbCFǍh IFCKRyl+P+ R{Z*6%j41=)89t -M^>m'Zv(+ RlC%IYWѕD%7^3Oփ>gYZae7fdadc2e3b775408b998d0865660f0ab2475e359cfb008d82973f70adacd49cb832067f1ce6d0d 5587db668cbf7672396fc8bc3455443e2c01e8cd 10ad090da1a2e1849e2e3ee07c1286fd074322a4   ZF-UNITY