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 vv; D m% Special_Function_Bounds:threads=2elapsed=43.487cpu=66.760gc=1.480factor=1.547zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/"+mbGGĖx9< گY[^+l'fqӮ01!{.Qu([_1#5d7-HBі!{!?řbB"#{SAoA(: 8S,{6'1 . %:2vϘ0?5Bw]m"QYqXoH3^ ;f-^[ͤ@V)L816b=JXK&ɜ _ޚ`LuI%R2F,;OUP!\5gںjxMUe}r`f@ipv)o6Ls3P72kVh7$JnԌ7tcC} K3}-U>ryPZUY'`!x3K\66nĜqа)!~Jhx_{so^:nۃ MRQ5kǧ;M#qXi0i}T~zIiK 'AqرKFx94j]q2r {RzC-L0cC<Q {[!w+m eӭqG2(h;H$\ƾ Y vzaך`;M4;8U:<ɶJ~+L,"mQ*=vIHAy%JG |@s%reZXnWjn{sQFYl0]Qhxi;ֵ6(Bbnut <A1#oFV~U:8fQن﵄:N /|;ru':/KdM=pZswշz" ;(ƪ 8}߾XEȢ=`@pq7@k/}=_riӠY'sQg3j{P)zPȷR}Tm9S10dG>EpU@Es";!K ðpۊALpa4ۜV{tA_nuH[FPuoW@ݦ+~9ԩ~)<$p% B6c2|G`+܉m0@-p9(aA?{kJF5`29[痦0iD7؈NO>CQ%2zMuv5@NR-#tιo?'zVWrO_Ãn5fgwzrx8"Σ sts/CʄIݔƀD{?Ԫ}Z±z/o%{P]Rãbn t^ƍʹj$;O?sD]{HulKmq(-2.& {͘1J 'ݣ#FTh@m'[9.*JȄzǛ;bHK1hpH]tfVGKP ̸#"g E*8ƑJetyͨ5 UeɿA(eR{E|Uj;A[X)Ӿ΅!qX넙WpfB9rzB55W[x2j_RvEZcuY"aޥwϿ]c}BrubKf _{ϤqURIn?RgMշ XP~o:l gt}H$kV(qtӘ'EvܱKΐd+.& Y8Jl%fW]Se`wJ|M&ЁˀR9ztqMWqwF#1.F9:gO˭Q6gYZ36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d37109b343f6fcae48dcfe8d8dd6a1c8706989aa d96748e7ae501033e4ad97e167b625c75055990e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 09a7e0d3fc440d9cfc052907182c9af9ff9f142f ; Special_Function_Bounds