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 Z/$ S/ List_Interleaving:threads=2elapsed=3.326cpu=5.844gc=0.264factor=1.767zXZִF! ]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmZRl i#N׵8cQv8p~,vYRĂz$is0~weISA>4 !$4j1;>qfq9|FӅvJG.#_<ܿ O1@3CtoOWGX{|$oU筙!)l J?4)ի:2kgt +:8ߵ~1֔\tiKhA40Qz;&Ϭ6!di{LZP / List_Interleaving{AOrH @!W)❏AG(M!D+Ɯ"㗟R?+8gYZ7zXZִF! y]ŗXi%HS \V30/9^6Q!$N$yѵM'"Nf[y `S$I a:za IYLwn_2@2gk=.xv#Cdq?=O|kmIM 38gxʦ.RFk'@MԲQ^,[q.V*?+g^ 1 ZP~#3n!]RY5#fvr)7mtךB'Ve.\c[3l%hL`]3$}\2A0Rx'qc|ZxUP7"O;V\u$Qa*tcm%1njp ; ?MJ&!W84knPHWZJ?|={Ƶͭ*ՊھҞ 7,w V:/^}!%h@ [m:)rC"USq,vpDi+ Ǩm{AElPhT hb1։`*=_eBmRDG5TD,o]ǟB-Ƭ\U^B8K`wXƲ+uCn !p7gYZ63b9332e0c2b071f8797a7aafcddf15a927e077b a1bc38e60e42695d8caf1161fed157c8935b0253 adba8d4b718d4b39467be2e3f06ca5716da6c0af f960ddbe27f8bd882c523a07c322f5b997e8cf0d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07