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 l , )/]HOLCF:threads=2elapsed=20.289cpu=37.000gc=1.964factor=1.827zXZִF!  ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/GW]A;GmD34b\mhؓ ..uUм#Uf:#W_)~$?tFNF~J᪀dYsà?I/ _bzH|!.mN4 dX/^8oeș {P^6Tv9CE:t =>bH_4~GL #m+iKf+PBdeˀ{ܠCגVئ0 8B2UܙHM{ʜЭNNojAm,Ncv*L!q[wLҡ># fU0r̿"d Lي˔7~jc+X%5.\E%Kqo/HC9RG):_E d5h*껬?9+dGmq~ŭ\ҟt YgK~!IiF,!Yn`7JB(:5GzhC=v&_oSuevRYestkxPĽ8Μt(*lL'h ?"zk [*!)7& F- m|W~^Nj#?6m/^SG`Pq2;ILJ.#JC Ջfknʣbq>=Vb6;0`[⪈8$j !7/UJl@LlOB+CV]jZGVʇG< y'4:VWCi[NT[AnG!D{ʦYZ9:n{s7ʁV 3#i `~] 7lqdβ_7*/3vx|m,){ܺ] o7$QξkJ&`GKtqndAZ@eK%'B)H=Rt~gKx4|h*5:? {;Ew>3c$ғyC;gY{{Pg}0S\j+DQM2!dRZV\8`Y2¼d,ReD|C4;j:`Rt"w&'.¥̸`ۍږaL}(u`)Wy{lـi(rhۦχ֟=>jSJ, [L`:-uJ ۺ(WRI񾗄}tƀ!}нL?5^vf>=0Qf#DL3hL\ctdAB?˔,\/ZFЃAvh )'3\%acǾ'qfyErh_́ ņJ\~99ܾ*kO5 RW׹AP * Ê 3ΈAZ|?ӷf /T%kr~ѣDҹ:=fr+8PmOjͽЏBΧru[K CFPcDzB۸R ](u֬Fkz];qsjPWqb kϋst!%y1p>AҼ![kh9#-̖aivZ`GHzNZӍwq5ZOSˀW_9@Ul$ _*ldǠHֶL'm8&l{&WQpߟAqipab2  {=} bq@vY}ފk{6MCm/T}F^8EK r2>Up;ui ͨ>W$i޾-5WQ7i(s/> ;0Er+\ZP -~ Z<*кey{0bِ=%5T!kE9܊ĬudŋfT6폴6[m)Hܝ7[,!$ӧ.b|DžCLa9HNֿٰaZKk"T2QIvo,Z>t7tVQD,ʁ`&e2ll(ø%Qc38YEۣ^^f2vR{i)#lIjuKg N2<(3RĜg  HOLCFZvElel3@"^y QAGdN3amfp:ҿ˱( 7=RGݝe xG;}(FqA_ 6"ZY6]Tq6[gYZ7zXZִF! sB]ŗXi% ţyÕϱ4js  лp([ VӇDIɀ^AT]?p?W[r웴JJ +ClDoL*ܪv793Uۘʣ] v Ƣ2j&j [xV]jɚ Ӓr+owSACWc3}_rF?\UlLӪ~ؓdUY-N3 Qxٝ֟Ѫ.L\q>ffm0nR2:Z̀Xo-Nuh wR,!̑`r+l9;$_쪲r+(`@?Ki̸]7ڸMb5#YDdO4&{sB rnu=nR!պM͌ 9"/kI"aFӵ$ DY^+"R M~3QԳ㨡@ȫK=X^&HXjvr"穊_U_̹$ӡT ~PoL!*~Ĕ~)&>,!rR.5R6{J"'uIjbkBÇMdc$J]GYV^t_0#J9Za뷎Q(0͹6|8b=<($-Ц.&Reȡ=eՖD!9KWׂ ؇RQ