SQLite format 3@ . BBh77otableisabelle_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$ ]S HOL-UNITY:threads=6elapsed=17.700cpu=85.460gc=3.448factor=4.837zXZִF! .dn]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yd{P:rmwd`Rk1׌xBj2?:ȥPMvYrČ?dvN8 ,]C'U(h T1|LPeF{7l 4y7O!= b 4UYO=GFlilI~;'%Xz C+5h2][-cf4rn|ũ/ܳ|~VXR8eO^' #02dPB2bhW+ڈ$ PXe #R⌎JeꀯPډ s"t&S '$g)"tk&r wZ3>B)wlQ'M3mmWf1LKMBPuoƭ鱻|"a#B'BfX292uQgQZ+IҽEp)v7~=)-0}`Oe < ,ag-9#nE߆Z8dPŠ)g"8tр2t9b*殃̴ ZnLTgk .Jb|f&;Dۼ8RBy)/ Nb35u8=<7hJm!\Ot'jXbxkFp>"ÂL$U߀sݢ )>:bzF#>F8;-ߵel!N).$ {^6p#\mI pYwrź^Cl`dMVE:SX[W["Rip?>eP-+% ifL1.#S`[_ECiM]Oc zױlD܂$RTl5s1CE?/^V2ikoFt%4.5~Pdqʴ""6 Rbsxe4(4Ʊx[|`RI}֫ ŽNpOE$i4 4E zfDMBQg#47V$;Pr{[]z=Vkq*z92'LAr)nIk<Ჶ u Qu8ZkpcerQshL{$z/Tk[|H(s tgYZ98abf40dd41c0826d166c563b2fc008d965fceca51dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab 6c0f34ea0fc51fdcbad05b7638db01f5ea96b003 ad2e31b5fbf088614aab6e1b979e30a54109b7f6