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 n || ]/]Nominal2:threads=2elapsed=33.586cpu=65.724gc=3.276factor=1.967zXZִF! "w]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їODkiruC? yts'( j܂[#Gn/4s8CFI]rn]U qS>#_HEQ`$bR [-NK RQ?j&y[   Nominal2(,DB) S]q o^\UI{ʊ,_puzd6f2aoD5dJ GxHj3YEf4^и&Jڼ@hQMlɋ!)bƻ/@ciA7ipZ 3ʇ+z3+Fr|Xĩ]vU QM oF*%mwč~Do=RgɉFPPLxc1\lnQv:vuJ|xL-WTAt qRL)ǘۤDU|qh{u?xWX)fҒȘ֥rb4Ix-K)ːK ̙쨲`51=0C|5sTrOFnʟeO((3Wn.K'4a-Z@ןn=ŻsBeL$ +`SE)ӫpu (Ħt USrt9a6/Ql֗Cېgh0 S96UFeX { ;̬8#`;%tА2fypcXwD[ec˧Q$81rߦQ«%q3b:y֣6{ ZFrk(ncɟ;"8{ƉNt!FuB%_sE59{8mc:"L⬲G0GJ7?i8WE\1q2^yVp E5gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14椑~ʂ5$G:?k sׄ9.f׻+Z9NnjLhA@PnR+5Y/_O:"o.+22մ/ FΜg핂{1c)E$9^Ü7zAE/%ŋ61-.G<_uJG=! %2GB[5|xRF u fАCT> J6:kQv,YU῭ mw<ϪWFM\aFfgcf;й:ξ-I9s]\%_鱔vNpեQno@kfvR[mVϼL1=,BiPVb |386N02(#ш9D\+ُogS6S0ׇ1+reHޗ+^6F_g v+\!4mk S25UD5Cr>9sAqwbcH ՞h ӸtڴAypwK׽uYX;7n?F| :a[PE]8N 2n_ZyT+`gjSG?<<уz !M>a1NQ/n#J9ZԬ˧A|n ,,Į't+e׆A񡲁Iۅ!hUaa7am+!fO.0u醬v^m1͟DNxOYV+ؼ6_uISx'n}K7[}yOA><дBQA.}Gt67 3S] >y#"|e(T>vɧ6npڥa<< 뺈b08?c}֝[b:2tzDSZ%WWqC2rAKKJ*@dпG cWa!kI ߺ V>\jQ:]KݮZ)if[\Os7K%RS}HRsYa_ f$}k}mW-=[XֿQ#27ðFF.,ۯQ^< +A.xJf)&i<=^1WhŭtJp1?±fHes2s@uPmXTFa­ J%~܌ӵzl{i`7.͖_1iG֩z nI?})RvGX/e۹n 矕hMNU8˴1G*E1ֽ:!;L0!ïgYZd4a5a548ffe57ef904cccd64e4f5a468c45c133f2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea6d5a9ff1286134fa981f6a21e192360d3bf1fe71