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  d d/ < wS Old_Datatype_Show:threads=2elapsed=10.922cpu=12.532gc=0.352factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}ir%\/m!tg1Ǿ[3c3e:V`L/!εRy ʞ2;J0' vQC}rm?b[ڙz?DCYp;m[ >ɒDV|J {vT!GrgYZ7zXZִF! 3^F]ŗXi%"/wF#Wv3_=_sJ0q{Zvۆp_1W^NbیNx)Bܱj1\u YVZ,3+e=_ SbUAda/NS=(@`,&Z"?t$ 1Kr@OD858|JpFN-ZalAyOPcaGdt<}'EoϿ0{ն, - h2zURc\8 Zjb7x#`ēo }ȢYe^{=B*Ķz¸g n?6sݼ~aȹE4|6AX3ɬL,&yOۘro;2W/;`^LV@l2)sNP%ISy5IPkRxD] aA7g.;E{;F0La*/(3wJJ G(6Sru>i/*kw ,wp)Uh~bO\(/ìnYC9SPAw2 dƨK[%Z47}O#nCR.KD>UB?bqM/Cs 7ߍE) C[2a3@H^>_EdC-|V'5Lp @z JىcEc^d5=f%gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 766a84897b0480469ca0bc2ad7995557dbde93d9 / Old_Datatype_Show