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 :, ]] Cube:threads=4elapsed=0.281cpu=0.292gc=0.000factor=1.047zXZִF! )N]ŗXiɟH)0%oE2("6׫z.@64ܣ{ųcgLZEQOLbcG'=o78&!%6;kKf,a'ưF3?z.)Oٿ~ _H&PM?$&KJp;0!݁8,qmhz!4bٜ_3=+/S.P+\2kYu5WgQ{9+mSOfq㠒z/: tæ'K*>u0/ɨ۴zl\cȢ3f'vٴzEW;v~T3PܛhAM0W߉"1|b3FXI4{mfzxPu*EJiQE9 yE*hHHc#'Ntw\moR h+F֞TL<;tGt m2%pwtMUF[9O@I2R\5SVM~_2wPAܤku '0qHE"G/qDz0Y&}u8?moYtknmCTPJd"Q4.Si' y_ J}kp֦se:3:'Xr+Ҵ;?[YÑ,R#;/=`Vuo>~҉z||Ϳ[e!k0Nu v7:ͣ];侃0eXkm,x?} ?ԧO8ߒDS^9gYZ7zXZִF! ~I]ŗXiɟ↝ejZ]_T/r*iXlڇeX`2ggstO@)0edF}YZ7zXZִF! =]ŗXi%L!l)3^],(g|G[z|en;my2H[*e {l졷USr `*oڧQ_&93 C7 n)֝iQ O/ {DZؤ Ϲj]61!%\hA?=FHdUe\lQ(O?$Z/Ge?ҵT2ECkEfp ",,Ac糯{!zi n"< ,b)=/^HKYSN!/gYZ3f5e01d3fc0546592b85b42432806b383e03f6d58215eb5f5b3394a9f9254fc524a194abe159cb1b  Cube