SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [7 \ / Transitive-Closure-II:threads=2elapsed=14.222cpu=22.932gc=1.060factor=1.617zXZִF! > h]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++*/D1""9æqȑ 7 Transitive-Closure-II;6=1a).ׂ1 Q<]^ *K&l۲AfTXP,nAZS U 寄d8~nx4r(;,4tvFQn1qo.M6VlW ޵'PSXÅfQnk|MOa1*K]e2$}xp` V/W{ vCqW.Z  ^F2JlN0I6#R=;ȭ=Y;yoCEqi) pyL|%Æm.Qvaf@6G<[c1=@znu{[d[99b6 REtN]#?~$Z8ZBܗ5`fUK'RQr,Kz@~FL]{_m&2Eљv,-wQ "0W4 YF1|1T_pl=&M w6'TSrέ*? K Bt (x6$qIƤAyDj3΍~ZmFG\JUUO']al>7xl"wT_Dmn?vCޛ'y\ Y'\x` 4k ubˮ3r)vNUHFUc'~ )Jɛ"B/tDHGcxpJzo?CI-/k|J.`Ose#u*»yI\k:C/MujR)I 'R%wDƷR\ |+˱gYZ7zXZִF! J{]ŗXi%HQc]h.,osmXW $'́nDdsY h]u?-@8Ke }FTx(?/[ &r>I䬿23-#^}Khh]lUVEm?h᳼6M9c43U1o658V񇒀'tM!㍬t0=ZP8fI?V~vH>V2h,"<ЙG{Ekyr< \ DPo)VbK[Ycq24r| `a' @N|AO