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   X3 |t ew]Applicative_Lifting:threads=2elapsed=32.260cpu=53.036gc=2.900factor=1.647zXZִF! 6]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{S.Ivp8VLTs'yu[ 9Bz>̪?_G-޵32 3O?\Aj-JKb3Hs!Bhx ěgO<AM6dFóBf&MRMu2iY&󐤳6E4>'.j}j߾>~tSQz}[`EDqc7 {U/ 2f=K\մ @#$oE䥷'/'F6JAHՃw&0w '$ U=P}X% 7շMo\N},>JUN]6^P9'!dSS_^\ rQט-9,vXZ;w.ج֟II-`_-H.,W#/;2QlrTKW\v%_6ie1d`”ei=kdU~+ ,2iwpB hNp<C 3 Applicative_Lifting4;N/]\pSFSp!=)] P@UtjؽAf〃Kسm$ ƻxP9uhv=-FdVaG ==Zp=رj xOt@B|7|:DRWAxڐ|vU2Ϝj؁ˉL22DhmS; a0Aqv%zTmJߨ.W#e")H12|٠I~4}8[t1VȞXE],:BpL]@o꯳bB69:Bn)*Uuż]*c{#}Y 'nqZ63J6}pZ1bBFVC*}ji>Peț7WQ07[|F*S*p>FK]0_|y=Ήbx'-p3W+|_?`s}S XVAKA m#MJb㑁+N\<08 O3 eCGU$R &doIg.js|~)'Qʦ"I/p|PyP7Mq]FjP7)(C]jaq臭үŝY} VϘw0A3asp.M c+ĿØ mz"8dMl$U,٣IzE}rUz1-8вMѣ2OKo1"KcE7 gc6_z]^(ʚChge'wWy^bݑ;\z&x)g0'>ܸn˫ɜ i#yW} A8lO$_c]`]·byvMho7T!`Q-x['6&A'/w ?%S{sPYK8,e:^8Q^\Zմċ%W ;M`yN\V'J,2+y njHc`Q9c~b7TBAf+~tp+?hSzN{Hl\}Z(sRKj{I}"3CKj+uL#|1[%aRUs.dpyٙfo=a.*CBI!K3)I5N`$RC`)B&W:4i1p1:QFMnn /ZPXZi̦nͮYLgAF 1Y%IB1f