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 `/ < ]HOLCF-HOL-Library:threads=2elapsed=17.525cpu=30.696gc=1.356factor=1.757zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVZwJzI9_)c79ZSO#K3Vm>"y\/]>(j|w [_)-L':{p13꡾i{3b!)2$ vc,HԢ_vHҸ{Bϲr~JcAcKmIq 8e̒ĈuoF, WniFc0^|yVn QHn yfcx-Հ1⭳V7>pJ3u_0!NtRjSbw.3o+e'OrمB)Fp$wR\Pn-=ꭣ/|S6ELبZ& lC2jn|F#ce3%GIjaύ#:-$ICY2z읔.E806eR+v\Nra~nvyL &NU#I(*%"vUOgYZ7zXZִF! RP]ŗXi%6yaD%v-xY~4J}F@TFac\ ~y{UV^d y乧:$ʹZl"sF{ؕ{+z]%]V bn(C)phг0dt1m8ݭqqID=+l"5;M¨s  qdרU޿,t $V- # 3̴+ wn4Ot "m:9g v\W%nm;Z 9Ģ+"_Va |:@4R=?d?)ז,G>#RqR">c^6 %c}E5!:;z۶Ӽk'!.^wO4l$ ն$1F9e?-m<[P 8X)ݕC,D\1zŬ̺Ɇl7&&_L F` >`ަ;8L>/Ngr{Atd/=W:Mn3P =MB '~e~i?VwƜWgWȡN>I װ3 _`ySXP3xl9QxCNqy;oѧި= O{ry (RNve?,4RW&+9)^ MF+d~BOng[dOw|:n+A#. l wL{2I$-sJ'U6 .LNrv5QM-mB.^5]D,A÷4l",7?WbYZ>OfOVݯ "t__SJکPټ(<8 o=җD2Zrq`utEqϪ m^:\2  aq jpBþ HBd|6Y\jmt_ #aA `, f^ng?5+[Ŷ]^E2J0D٢vcD6srEXUt(7? b;Z7EJr%v|+ptOA>B`S9>