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 EE(' ,  ConcurrentIMP:threads=2elapsed=22.943cpu=39.876gc=2.252factor=1.747zXZִF! 1]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GbA ",ݎ2wWo+hD;mʢc? Z&Y<( wewHF YC˕mrŇl0PjQmWyA`Ļ5r&;xe~Bȣ61sFT,SSw03mDzbFyV$EZcS"g '-pK};-@rA.y4׿~]{ ' ConcurrentIMPtߧBБ!6R(UZa~]c>!c/o{}gtV B=A:B!Qș_,ʓPΌnڞym~CtAf~=ܰBpj^̼.SO/GzSt CDQvMp7/{7l66偅{V#Dd zfQbidů Q$w3db%ih`qv؁^Jz#\l̐za=Re+=V7I-({fX?IKU-]Sk>ؼd%k];m:e0H^{ k P}~B] bۼx(w۴rJ.%o>l'Uqu/t5rٸ?Ce8RAXoA!>[X_f@P=#L,K Lp'XLnUckX׆eiN+'AjX,㝷٣ e4xe=~\ƆDWKw%ZvKR֤4PllHD3$voXm Gkvإ퍨zv?hޅӞ-5͍,CZ X0$H>ScWTvqa>!#ۦyxPI$鉚X Mތ@ԅ?cdNSㄎ+׭Z8Ǖj<θ Zv(VBD^\˯{Lgٯl?5 [M S+B3Qj ccRܱgYZ7zXZִF! p]ŗXi%:2 7Td酲7%aq$gL26=9Dy?A7U΃:Vognp):c!߼ 8}iQz!D{7(('e˸hvH֟`>ʘGPjpx`2u=/[g?_hXڙ|YK*&U)@RHhgtgD/st] Ջ1ͮW# 鲏"~$0-lmꂲ6;ѣr(VBڱRI,B`ߋ"̷tS3ڒhjw䭢l+E܁WlV~NLfP3!8^X)3$:x^ZwWj38X*<0 IE(̅&Hw37KBfYS1ygy\޳XgW*: M/~^/-w]ݼټ-KpfL}H+czs*$I+1ioi/XZ粫MMZpsИ+>mh-;Nl/Wn c$آAr VjX.2+RcHVȖ; $~.ASp1