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 v $T$ ] ZF-UNITY:threads=6elapsed=5.988cpu=31.184gc=1.180factor=5.217zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ^թ`w ."c .y-sϒMdZɥ!ZnŠ5pWRb%٥?cz,4di8)HKsdAZxqeqrꓸzǧ??J_n= 9 {[V 榶._FQ!rͩ~'o/:ӭZvЙCu-H!1CV9cD&ǑW+aCy%UgYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP7j9t2&5XS=&.[ uY'T%B ]b:gﲹ(ЊAPfaݾ ƁyO x5;䦑p3H$0nPT"I;U#~u46NC]AvJL$ڑ4L-!FN! dJ@˽y IbN4qclfv қ[O}{ME1tNxzcBC܂ Ayk'Sslp" uPiצ"04)Ձ"Nq57 gYZ7zXZִF! !]ŗXi%G2@/$ j'jyTv_FԴ"|nӹ |l9 nq)eށ1 E?4ֳ7OXoiEFw}*tUĥO&ǘR斔-I훾-ͿgMJLCnPV-fK 22cDI+1+De6,ԓ ݽGd; )#(uBL9 R 3;} 3lul9 {[`qI\h٨=\x㻊 ~4Hfh進)>(J(!x5d =-m :Mb>{R|!#p]Og}TVK$ر[.ƥ6DR2kjdVm 0K;/Z;CvB` b H<+}knňh[]/H*#gF*ywnZV0fQ7]F 3p( &^煰Otq,,s-L/},:Eh<3HckG3Ck EgYZec233e33f8921dda5371b09847d283573e1c4f0a98b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139 caecb088c6e0201ce63f51ca095c1f660f661064 a99d523a3d105a7cd7ea88dc18594fa9a521f97c   ZF-UNITY