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 n ,L ] ZF-UNITY:threads=6elapsed=5.697cpu=30.176gc=1.152factor=5.307zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb6g9,b0A57> \٣oL&*D_l{5ؒTqUkV.\KTCgkt>-Bmf{ fkC̱a˝Q1y)xGN9]ȉޑQUr3SiFYmT:[S*Ap9lɪzG=kZyZlEua~3))ŀn.9ecȄQJq:~vo26̎|:AݡTSŮ+MmBjĕINN?(V b(DWV p'%FAV:wnc h 8,V-.JP>A ڭ~8om1(XYSPvF͡ BkK숴@ O~FE(@\تyx̂jl=B{ӱbۅC5L%Da(SK裊u v>qz# VWLTTTY!sNA(淏oF0֞X7)F+Ӹ`8A&*Ơ+P~BtqZ%+ʌgYZ7zXZִF! h^]ŗXiɟ9 i:4V;}A<<ګMP7$.ZC׮naY8O:ġ3;eF#(h9[+52ٓucŅf{̱ [x;}BkmK7}ᤛͤ;2t]Y1%RMtSL!f©67.o|Ikzj"k#]P߸dxL%* ڮ 𠁽TcW8˩7W'O {NrՠN#jhzg<yikUY-u%bA[u~+_{ /TSqzSyʴvЛ3~~HZ.e 6|gYZ7zXZִF! !]ŗXi%+*{`s3uD/"iԦ5I-adkqW&1wc8Z}6+ϋZ=X4 0j>!P"W饹7~F̃ qO@Os ˏK}̗i[)Ur\I]c6anZJ!g8#L鈜ڏqYdhΓ&I2& يڨczB-atO(⚺. y< jהSvvmzelyD^\oI\RʂD~.% w+ހ?率 {< t/a؉T}FH[Nxp/~'sA"z,ٴNccn`WLT:KtdS@V{kF Mk$0PQxn.W%D3a9l dNtʠCbkr7Ktx{QAo>nGtk1&ޜƌ~4,4Gt:M?G>怜 S: !PHr1Ԙ}ؾ<.C;zѧxBtYwkdxX^/=ra^U]}%Jʒw|K?O.P~ƨ=o2ms9Re{:4K8G &?H%.+CƯ֣ "<joY.3`n &NpJ#^;,C%u*"֦iY!m:B14Zp' baOf,(Tv7f"{|FT#ߩ0DU)P wCڱgYZ2cb8161d2ee14992bd3be8e96cd338091dbbea58a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff ffbac2419efae4b8e2231324108822ef8b23ce70 b7019eb5a28bf285fedbe8c559c5b1af3a01270b   ZF-UNITY