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  |+ D$ ]/ Card_Partitions:threads=2elapsed=7.011cpu=11.748gc=0.200factor=1.687zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3|z.^ɲl̚5FA1L~>+fb +CĶgVtJZJKUbXywlxžsjLj1o RS64|nXd8S}Хێ_PLxB'Qị/.VlX70<QEE⬻EA; !|Tʄ gYZ7zXZִF! |]ŗXiɟ1˦r!cHkMeBd4" >o"} "JGoߧ-JpYU}FMB==7£byE܇#XSf0RXMżgYZ7zXZִF! 1L]ŗXi%ή++iNgTv Jy츥؀p&zႋ?3G}tFY{*2^J±[f45C_>OT_WMY>4(.@H,k2kѩE>Evov E: F۟r=PͺH/?T01 95pmy-;=^¿%9hb.y;4xmz~7akNaSo+ּN.aSY9MI2u(&[1%ੋ.pWgZW:s2.{b_*{FʌJ/# 6!N#*c {8AG :T*4j*4n2brO]7)]N[B2ΰ۸˞D2pDq+ !tf@,/ޒYF{wg7