SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 33 TL< ]S]Applicative_Lifting:threads=2elapsed=34.157cpu=57.432gc=3.780factor=1.687zXZִF! Jc]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦtoC_KxLV`@`#Hs'Z(I\tUyݡBnM)AF 9,JD} 4zg*wJ«N4Éʲu`P&_S*[ɒ(^϶hMBb OYUӍݲZI|ϒ6#[߫.@"~\Tfby|lE־M8蘷TpW.K^i>7ҿUcc~R`8.(CMn ј5d )}Uewҿ 3 Applicative_LiftingjՌ2]z'&onxu,Ca{(+ܡ!X4{a6֗ՒCJLeR4uϘ*rMk1Ix>&J/XnЮo֡3 rQ_5v*0چ-NSS$w:x2Q}:u.Tĝ ׋{5&"匱~7ieWd7 zҝF׹N FoѲaFŋ݊Uao ?\l'mA |;5)2ٓ R%R+@cQۄc-#o'=[$ЁJ|X߉͟ _8)FX ԟYv=a§q.2K+!xm(zoww)˨=%YlUz 5HMH4ʕl;#}jBos)n7_[jInX'/Z |RTۯfaY`.թ=vBۣ)Zh<Fl2.\N;gYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbnW ]_mtFsXaſw愱CS.tnq蠬h` Dlw4P Ndi'Q4>l>GbS?ho0&%(dS_֒E r1 JG۳8'ʇM?GqQ%1MzRS븒C2SYJo1"بp0sowTHf)ɭ'ȷRN~>xxRC)^y.N9-H39[q J[)MR&QN.*8$İp쏕'LjP`^0h<=?t3%SaË^$7N[ȹ:S֏\߳8R²OT-W⍥.)ߪRCۊ#v6sܖ3 #]82Weu蚢LRוz8#6n2|L&Шb4h ~/ڪ)7.$Ne\kh,t[,cq_Wt2Su+7ǥu1?5}iRzD4gj)2;3!4@nd&#&鷏 |BtkSv@?ZJyt0CCoX 7Nu\F~%^oD>d+ؖTfJ(F_Zl͛L)RC RH׫uTU9CA,}$CkEyJf2}ˊIhC >9*~TI;ɲ89G襞徯/J3ZaAoEϪM#);\3HwBAAas!S!J%VFЎf,cŋ_04 jf8 sX_a10)vjN3D7tQ֓ [ w񚸒{!E_XBX^mx_9&@; ;Y4-K>Hw[J,%)IA\qL|[vf52` :ƚ65]lPG=L+o: G^d{`:J5r)m17T|c|Z)0\9{cC 09/RhGD W v8QAz2t:8)vq)m=WAS!hܫ5"$^=lX޹| pDzE^(W"W=$Ć}ԼWV <UkНӆ Ta/rXg2ALـ?0!$+FA&oƁܢ|"S!iINE6Q0 f`@uGOۀ5Yލ_kC{., ޥk 0H1D0,3]htn n,0:EuKDkɻ"UF| &^Q:cyBiES2+!*oTв2ybd+<^`-bS0Y혷$-;#gYZ25bdd24080eab4ca3021857f51acdb42cfa59808a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 e81d1e1b44c37c41f13b1fb407f43529a4217a74c0ffee2b92ad37c9a36ed16c337d4094fe43914f