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  Ld$ ] ZF-UNITY:threads=6elapsed=6.051cpu=31.572gc=1.476factor=5.227zXZִF! L]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 kn~aGdOm~_9A[G6(ȱ<*迻IĊ(:XV2uCx :܅-f 61uN;2) E9ECh{S}1c%O ҫ@X"$h鮚OY'i{9[5*i6p{.j/9NXihR '{OUlEXE @o8{JXYa_\eKqӸ܃)}"ψ*W=zF$)rz?%/5)V$)bM?3yD#ywN#wG{+-ĕ\ #+7K4&7ggYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7#\zu\~dSG^9.~Aکm~F,)dD(uQ݂/&}1PgKmKyM:{&yaX+OX6+..{cJ&?uDANbN78;7Z\$P%rMX.ƫ ރۍ-]|YJnytnS夛Q'/Oy8kq 'ju+,:yK kT"]g惵֝BXXOdB FqG|D?{,4XCW!vfַ9u  !gYZ7zXZִF! K]ŗXi%> Ăy0ޥ)\^s;H>n (+? /&;&?mQ/ۦ Xф_ߤ9,Zdg{L&T3 PW,k%mSE[Sq xi,P#7;)dN 8(NoW AJ` g?xԸf Pj…$"C[h 8 c=<)ȣ2HhO)YoBCjJ~W)~oyHV)oF!ʷ|[$Mz&,FXJ+N0ho)1x%~7 {n{$VK06_lׂ(']kP$rz'_Lŷ ѡĴ%YGc5b80&k {@;ܷ:O'/䛓C,UV 5&+VB# <0Jri$ ~bZӰy>t?hk + ʑp^欳1 mis5(M!2Y0 >Nqԁ5"\e`V`~c>l~nj{X3IU=g+'=1 ZCl6z$dt1h#ؿ&c`s$J76#U:lKĎs޽.n ゐm>D mӕ3gY8ḧ́š)8\1u cΛCKl$z[9?gYZ1ecf4d3252f1c74b68c64727f685c92546174acf33566f3cddb263229cca6b46057522afa84933ef 18c7c4d6adc0d8cde3955f955412c21f0e9db1c2 7b9fe68727e9a51ecb3d2a797d3218f7d7e861b2   ZF-UNITY