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 BB; 4\ ] ZF-UNITY:threads=2elapsed=16.237cpu=28.744gc=1.076factor=1.777zXZִF! Q]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb* OެETX=yl+Lj8ͳ ޯ*^E X,HS ݖ>A)r>F3:kO\Jgҷ s1`iBn3 (x-r:? D pmFD6LGUH0fJyNkuHMFXpU4XeN!-k~$:Ϫo|2VBm';,Fh6  B' M9VX#jw@bU%ₖOLeB"FEhvCWlp V\{Z K{R S`NurUVN2#_9`+ gRtۻFا^]4CӉ5a? 24XFŐg&;QL_shb) Nj^֋VLP!ECOAɭUTVZX'h)| y(>~t1!(̢FH,80El3K3De#xZcDKwpߠ_T3e"gYZ7zXZִF! hQ]ŗXiɟ9 i:4'9Zfw4 _.9lQR}U%Asre7[a5u6XỎysRX꧄q M< 4Mc{gmZJä}R%ER )}mN:fTL};0NzϐImv8 VU_>\@; |{cp>M$gkzwn 6a.cwXgshS?PMS! t?g}$>Yw9Th~):# gYZ7zXZִF! O']ŗXi%;4ve "zRQgUZuIm l;պ 8eq]oNRZ.3`gї gt1/sQ_\gml:".x`ew"/,#g_;;QBpËo5U@x]woI@͑[aqo|?Ꞛ&;qkXK8Exhȼ\Eo}&z}Yu˃Vbwlu60fCqH#F8ק:Zæx2^}Y!aY7&䎻* ^ٮ> oQ7gxBQQgS:Z\FdX,V2$*2cXlh;]NG'2gr?xd*^‹篸<9(N%]9-m[@5@TpCJ@PSppzPmFah2Lѻji+ɖYÝE"1LBx8܅|i91iS\2En0?svpfw_a@Z*}Ѓ!Ɗ7/wCoȭ2յcـv" pŀ)ABv )CL̗nje,b+tl`/ʍD[Un@Y)["hM 4]π"]Ѭ*h=^`Ϋ&IHK3Ta4̓+N9_ǑF+,eT><&72 t' ? VOq!gYZf885476b5fce9081148028253d9b119453610eca61532b7245075d4ea33812447b32dabbeba07b4a 879efecf44bd7b2fbf88f8a2dfc0cbec187e4557 0a8d4ddf76e2a46698b3c71cce380dc779ea7014   ZF-UNITY