SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ::C' |D / GPU_Kernel_PL:threads=2elapsed=7.571cpu=12.956gc=0.556factor=1.717zXZִF! 5w]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19NO >!n9<߳6m) TuQؠ. +[IVPEM.'V7 1-d9](}=/A{Tk5x7d|/G~分J4XͰȊhG̉_caHI HKQm_BI_}=}b-.VkJ-_d"h~Y޺@̔`v`j羭g!j?-dģxz3pv7y*&J.)aga! R .Vzղ8gYZ7zXZִF! .Y]ŗXi%6yqnp|gr3]` y=^$QDlZ5+d^{ - \2gChχ) j&g6l1ޞcBŻQ6Y3+ ]i {[M\1-*VgC^0Sb9ᡩ^sʎ;[rM&{†Tr%RN^Uyx@`7tT39/*XRWŊU;G\>}>ۉvUy' T 8LH=UL{cں͚Z"ȳ &o?rXmTwdL2^EJGj9XJ d1c&hKˉx=%>vyC-@LRo32I >T$Yz\=T=wSѕ+|&ƃlyp]UZ@#H]Bxx#O + F'oMt‰'慞gLD)Drniގ4blhVLNؠ%˒zpZbS=@|8 @ &&WUk7nu2l$M8[7HAp`U05N)>)*EU:S[ij1V10azr:~{N39Ca