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 ^ Td4 ] ZF-UNITY:threads=6elapsed=6.014cpu=31.880gc=1.336factor=5.307zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b Dt'kfьm G-&:ҳ{IKdÔ;Ե)pJ*L%%jyseoa{П*~8Ngɔ~0zM1Us6z1crd}֩G({E7~ Sz 9^QeC<ںW_u4 N3%{]Q-"t> ]YLq0g&I`hwݑԣFI[Ufs>981J]f;D1I4+XE1^g;:_,̈OZ`X ϵZw^puS)I c85%{B.W F@۽ιfn#]>T!DL5UKʏ,TE>:oac5ё_ CӶG Eh1+a Z[,AGq )qOM & YjLC( NPa߄T%aa Vfi5Zb_;/4 -f3b]V^?0xVZ8È h\+Y`'gYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7#\zu5r*Q81Sţ{ k&>s{U|KFB޾ɴEV$ ȗR2."Du6]aU-*f" 8KR3u Ua p%@h ܳбgYZ7zXZִF! /]ŗXi%@j (+q^K ƚg9*495:w9e<#Eًs7KlPٱA X/iXb}/vb :7݊V@UDAKXiB.`1D\q>Y݀U?ՊO@P}=83>'aÑ,w@ϵ_ỽv`&ٔ% )-W,^<`:MY14@sc7ÍF&qnsFyv X?!T2q 0?xJ? w 1X&L76-t]M1{6,8 |/7p`ɮ x`ZFs'V4hvGY\r`ёpZ:Od7$p)+GN!ljNt!6Quz-eel*TtOR7Z֘]zg:85aqlbvBOy,ekb.8X8ro<7f^ ʰ#pb>XegYZ85b20a69e94b7a2b3ea27548afea967c07a2d76c6450dc2aa913771fa0159410165f3f6e6149c480 84ce00ede41cfbf036c35df63a3e8cbab0522723 883256531f79fcf3f1d659775f340a402941025e   ZF-UNITY