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 ] \l, ] IOA:threads=6elapsed=7.223cpu=32.248gc=1.600factor=4.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh:u<{~Mx| 0!1~6Z)yoCb=@ n|2UR!x1Lx1q1O]ӆ_]p-DaP9p`)$gx*ďK7~XzR-!;'H%*o WA`wQk_n;FM|Md7-)$Q9e& mC\*4Q"6(YMqƊ[EcVRvwh^@WG,fFYe (wd;ϰJ)5k+ǬZM1o;odPI$nDBX*a9iGW;QgYZ7zXZִF! `p]ŗXiɟdN'LvH۹Vf+yט< h51/Rl\ =҃nתtcRȹS+a} ␾Y17:C,ޗ$]b:&j7Ⱋuol"W BnJntSylUŇ ZNyϭ{-OLҭ&mZ);/RU P3E*M[ pA }WAA䕨j+Tʳm<㈆߉|s#Q[iEFaifNyJѝsPtvI %vD:Z?3_-TlkB(h?JW]|ew- ƲBR`5K %ӎgYZ7zXZִF! )M]ŗXi%G3&'h~Ҳwq EH O(Hw`Pr)ЩZw+Ny"CBxDLd{еZ6opY8F Mv絤osoj~tp$Դ(P覐L&t:{rI )xm[wEXvK'xEtޥOK_` s~_bqc{ws 6kys9aFjA1a 'MON D?!|NXB("3u_T)+6Tɨe01b AJaV~3w|fjJ4v\b獡so8Iw(.DaZFtbuA%(FT-~HL2Q|1^nlYs9 E%#{6ȱ.1C1Vak&B.}j'h\Dk8KcL'`g_'DfC6= 3g:iv (L00PoV8*Zt*dk)Z uI"\I/fӕ^,ĭZyñX iosBT'N|"2[GX8d q!Gw+ b]KŴsi~87r!Ih{+JXMRFbhH-`2!4-n1v-]r|'-ϽrI6h佺(pMqu~?G7_㒛h0YO9f0oɔRc@+#XalٶO#gz*C\GҩLЗp2 )a9]Z 9ӫZKNnޯ$l-猜ߦ]1:$ KY?2&=hG%:{er"z;äXc+P*M6|E;a;y+{[.Gf ʩ]3 S'{]gYZ0a7a589031d22ba89c07708d79f51a160117be41ee652d79da3dfe2226e7998ba8d9b6c5b4062632 574a78dd5fb2862f217d3eedf94378929b3d0576 a2ad745a13d3ad21f0513a25fa3e39ccaa29f3fe  IOA