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   4\4 ] ZF-UNITY:threads=6elapsed=5.825cpu=30.880gc=1.288factor=5.307zXZִF! ;]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8@Ŵm0ܝsޗ4\txA0S&M# xuc=l$Q}ŚRku컍R:1EO8G59Fb0Xm hod*.Jjaē5 0_Xf{rL_F#6.iwo,8z,sA^Ewg[C7oRF4 nuT%Q.|2 HOm@eh ZM) H`?vijcO hdqն&UǡZpf7]İ/`m2+=",mc s48;N{Sԋ' <40xrl4";oQ1jϽ`~:rۊ :n1.УlW_1]SăFt YOk~GxR{sYpӓE9YTYv??NJ'\)# B59'*וF[Vc#=3?"'k [^uC6@4TN:UDv9\%I2UyUXAN.?}v| &3gYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7"a\zurvx>eo?;-k'}҅[#E8>լ@aՒWr\l;nFl%׵bB`HHk|eh^"Q7N5(T) '`l`w92o&{0@*nzTE5#W4ofFx|@7JڣGSljjY7?X dzAfhiwL[%ƴ_g.wYro/$(y\Vhl@VW}\_7(fИ&{G 7]lzt%"ׯZD֜ n^&)`ZĄ- =] yQ旑ϋ" 4 ),>gz!!JS& }4]a*@@Y;#N6`GFX޼j ƻYM:#||R`e xxw.NEԷf\&dE֥q|T 9Aν;ש7"1D>VgYZ51ed6a54601b825e88c699fe9798ece2ea7c88e18bf312bdadee5daf8facd55eb1fd3c8949cfba8b d1dae2af94b22cad4aca49245cf61094022a54e4 31d8dad5e9e47be2822f7ce8ded6661d38c3dcf8   ZF-UNITY