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 xx $t, ] IOA:threads=6elapsed=7.091cpu=32.028gc=1.604factor=4.527zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K B;jų/9Y*]|@\S-uMb2UwT=%/m^ :iUKcM̾j: 6钩a}u;5ׄ?SVeij̔iB Mwv36ٰrgLUUOߊ+}`ƒ*ͬi|0aw'G}o]?'L ?A|2jK66\޴8dk y'=h ;M *kz+?C3M{W셁_^9ubVT `8|gB*؉ \tDÛ{ٌc }~R4\$~I;'sꌗqS81BcF7?F.>;2~,;=m`>nTVL! lo1xo[ w[L&h) W9.wgYZ7zXZִF! `q]ŗXiɟdN'LvH۹մQ2Ǫg 7pλ'Xh#ݤm24 ,W44|=s\7(8(lO " 臔_iC8< L*_hM55n"بe<VJJ~tU[nal tk7%-K1Vےﰉ3p\5}}lHZ}J^r[jGPP8p=*0ʵ>nKo::W O@b 45\E057qai`^`2e EgYZ7zXZִF! )P]ŗXi%J{'DF4{Js0%j$4Puh(D1B4`Nle$$Y'T0i+avZ,otge PyaBaϸ(W-|nD}*Y^$_Y\Kdg/9uA/GoBB\3;c+stcvtf(& 7ۆ[޹vqgλ]$|p:`bz 1IkJMX.Ku8nFw|ٮM[!N}2А|\s0|efegwL?D1jC׈p2!YH1F4+f"xci R~\8{ːv|3w8JUG~ 8 mPğ@s!B[뮬ZDSp۶h$Yꜿ^Ocv7>[3,#?*e'ABRLuBڍ 9Q=WM^{Yi2 @Xg$wBL< ]4iT?n7^q3@̄NI>VVWUٱU6fl*[CcW؝69`pnv]԰o0@~͜Oȏ2R'όYWn? #D!Up)_UPrĆ%Z$N5>N& -˘IyJp\k=A*CtkStQPV–avC}9x`a)O4 f#*^C!/=51¿ev{LP6 4qV! -V9Ȣ<ο%Ƴ&+5-TpT-CdA`3dB5T;}s \N!*ϫwƉ^˜*zWSOUL[GS<ݝ&KA~< &rp)/UsӈK֮|27@4_Aq*j afޛpSjh&*V-PkzSOgYZ87fed438661a1277b458f9fb04feacbe50854ed3d1779d2ddc889cb6287b2680129b97571dba74da 6b61682130070f87aca58ebeac1f36c985eef21f 5cbfbcc87f44f907400b0a0f5489d3c5d2eb0d20  IOA