SQLite format 3@ .0:  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 }'td ]/ Case_Labeling:threads=4elapsed=3.147cpu=9.736gc=0.204factor=3.097zXZִF! x]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e16d">pl oň,YNjCѤ5NЙ xP/=$Ļ$JO9#|ae79ݾ{-y9y?Wh \ uSRZiU®{ \\/Pܯ `SMBt`t,i;욆/ovq'T1 Rhcf5IK&ɜ$^r/K=m{D^Hv(wufF,;o!]59x#DuPnf;#fܓAsĉvIdk9b'*gYZ7zXZִF! ]ŗXiɟ1S:Jg~(dSH{OMg?NIA9 @wWQegY->Xյgu+2(5g] FU܊U12P_gcZ"KrU O@35ho_yBh@xORP QZIֺS8~*7z9/nȁEt$5֌au w~J,-;w@Y:gYZ7zXZִF! &j]ŗXi%B8_y0o%d|7mieflYQj5Úg"R M5,) _?  rxȤby}얠}n'z`݁ZGJ!ᑟn8&#a,e*l52ՑH;fB\>)A-^_9`K ۭhI'ʠD& sOeMί *7Uݸ9Plg m2U{*Jz$kOD VzuJRMRKV'}VY8 (^.TRQ,;ؙb7v0e 52 4Pވ%)-KȔe"y,fkԢhEh< ]\ 'f#Y36Vg5 Iis(B]{bǐ//?gH>V[}s`M}MǹG [UTUPQ73:6YIBG)u+.>dp=_\ ZюpM k jq}j"7U高j=C"$- )[(ݦ=0n>gW!#{ VЧM@EgYZ717525b7a10237c2f9abd538d1882d8980880efbddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe ' Case_Labeling