SQLite format 3@ .;  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 5# 4, ]/ CISC-Kernel:threads=4elapsed=12.802cpu=43.696gc=1.820factor=3.417zXZִF! |]ŗXf[&}rsSb7h3C^Y;i45qr&'zܕRzur?3(|ӯ.KɣݥCZԯRw%?Q> VUb*&eR2wZ&0su7mXw}`*ҧqw}RHخmE JS G[Օqٜd䣩#ߵ$SjlRBD>q"N+o)i`ʽ^ V ( |]^, ̇oAIKyT%zh\frCuf"(*R -waQ3ϒVvPDt;VvpI8t^|N\PWHE?oAy_Tһ6b\ ;BYOs6*qq;)xr+z0|f8d%)"2.diՎM9cСik,AsٝIʋ2J) qѠk-6s~W v8 խڃd}\Qb0 .Ixt΀u'cÙ2\:pfl6':PIT2|W%wbRnm"[o_N~AZ82xиvyѯ}}[$,[/'wX/v CX wyYjͣ12 7&xp /"ӽeD,sg֛RMnxs)OS-!lG#p6r'*t [Ƃ5I'ZF[}ίto]h\̈́FNA=+gYZ7zXZִF! R]ŗXiɟLN.!}" nPBڨ&wjnx1FB8.1Efr*[:<`td2mx~~aZFCSO} `Cv#Q)Cl@}$5ڷbFxQB?ÔRuvknl Lz"f dG@\^sOlb5$z0 Ksߟ&n5>[!&Agpyf4\=wgL8Y_Mߝ2QuI@:`0_KbAymPc$Rݤ(_2{ /gYZ7zXZִF! gR]ŗXi%L S:2[[E)S'FH9xa/wy@z-+;{Tj7Qk}ǕE~{ð(f~4VӘ)!7 =<\ 'b lˑ[?)`JލV[x(vE_nj}0AAusVi露EC| |HͿmHv߈⫽/\36vciX w-$jaW;߈!֫7_dB.Yx=!ͩ%M ,{})65!BQXhvcx)pBwi\C7Zϒԏ gB>i.u`9Jt0j}[\hD){@i NGOc=Ej^?%1'0_@gkUhMA4 8.ʼ5q?-tf@_AVRxk} ?k=9B+@[ Qܥ䜘@m 'aoZ6CJƉX:̙\ \'qv0l0L6hgO۴-}5=2aPLYq7y :Nf70=p֋8ض@& dJw4q5`:/a)WUqf=պ\