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  x' , O]HOLCF-Library:threads=2elapsed=15.849cpu=30.996gc=1.212factor=1.967zXZִF!  ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Se\\M 1f;$Iw524]b27TJe |pWdRƲf(s]wBS%AuҒ.&)jyTu/SUJ۠NlښX."Q>o!v72}x DrJvKY9:&U d``17afV3I%h,MBWr(\BMmqHgHlnZᐟ䩧VPC|$Md\el<^εa})({yu>ïI@8C, +wZkue@@_]G ZDGs ' HOLCF-LibraryQd#) $5dEHMwEIlY"%>D m!8,nY6m TkkI-s+d7>Ԧ8L:Iw+Y`W? i:i 5`iZ#V0T'ܸ jm 񱞢cG+ӽz7)F)u^B%#D00Ys7Zwi+  ytav!=ZXE@\MhHڥj}^Qpe t'mGxyQToFS{Ifűڙp b3Jػ 6A~ԣ7iهAbsn%Q 1\liîag߆V'1ioI2aIaO /3 qs|9)xWwzB_hZəVkPc7xM'Kk 2XTC3jнqBwnM9nc!q&f|E!4㜲]f_*^D493mwYMw\Tj%g1&X]J풊V#i$PYCQ|c0"KrP  y;Wh^DO*IxߝBLɖ7\"Y[C$^bU6R*+M %u$T鋲tޯӭ4p)*Gwޮ%jbloyڇolE@?ߏ{Y%A[-E^64(zpWϸȸ^x&h_93Ausn0Z-ˬdN8a'+YDWH?{PGR,DVRu{`TL=v΂Fi< iQ >t XԩN ^o<Q25J/M' u OEccH vd۳iEA"AJ/ w7i;(~7"pWS'mi}2}#tAK^w V/h^e!e#.ů#\:hCw)e^ҙ*FO" d2' [n|Dԣ\f1VTS bfiGFת/o2]|e}Tpv'#ڏD?0:6[A^{ 6&<JJDҔE4; orHԼjH z+:mGHՅ=mddADSh$bNG+?Aui?ߪ4U(eS`=P%F! 7gYZ7zXZִF! H]ŗXi%sD#ᔀll޶IN;K(LApW=8@a j K S5O<7pL55/wD D x+夗y1my6a5lw!(Uae`f ٟO6{j/niжcg~@k!?DrqZ0 z0٢4o]Fتg1d6.^K}q?Yh7q>G8תJg_$c}!:H36/Ch|0N2f,Ux`wB:ZVSt"ɞVpnoY$꺲pKB~H/ӆ]bOt:P>"ij;8ߧVI#:&X\!vo$VXi29D3Tܹ !m6]vjv"5$vo9fQg"i:҉bEOh_^b Aew\K!4Q;-)%QF<#;%MCSQHP.njK xFqAUd1qCA4z(< of\.K-14"[iњ V[ECU=~σ_pO#'fCѽ_/2$4'2+G2?)K1:>ϬR ZŌ9xHT_tY&MB儰 Y>v[M% 74qji ٔBpl=pbd!dvK5 -0u|.X(kIf뾙%ynu=>^%SqWe Orkrj#Xhk&ݞEE;trf#E6T-joȽ*sŀ2ẲUH:8^rq/" %;5tAw