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  X#TL ]S]HOL-Algebra:threads=6elapsed=26.321cpu=125.880gc=8.240factor=4.787zXZִF! A$]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m55q lz%O><°KU 6/Y|m^g sr~r緞^RJԢdr<5-e}ZĈѐ|7c7mF'4ni?> P0[tM1劼ՍvD8ɘy NCYkS [scRv`p\[7*:QhP]w]k5/ _Er6^&?XLW@~Zb5g>eM'm^&wb'D~{kn b$ʵO^%P9VRߔ>#‹z)3STB9~PK;-8lxrO{CP՞Xbh:Oh: # HOL-AlgebrapAV٤51w0VE8.82od۝ hg%prs+SqhJU^l l+M |O~ '뱃9lwLϴ 61MI+'H KF,#E(|Jn]_q7v[a&~]U<@%HO|G@+ 8dm `nfyKr#|`75xߌ?q-O_Iy CN~#Jy;ZUv~11p Wd&H(B?x3GuTρr_`'~/og "rM(E\I&'0  Ws?2ߪ9hNr4rБTT/(IT' e$#AL/D$d;4}ٕV?mxN"jچZ@A"<4ǭl"y%l#'4<@k&4?ޑ6G}C[ݠI)̨ *؈Bd%6#*o9[V'Mek$;w%Y­wxY!*]hUcM$7! _.+:u".FG.gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8f{VU~hrCl>Dm(SIx64w#.e|5 DR|Noߕg˴Iobif) ]S%t{Fv#\BZٹΛ5{Du"9E|"]ldMVXnF~^f4t_*G  +vZDnnHE#q=ˑebW~PeVկބM$rwɉ6TuE/Óͷ[LY~Bj8Xq?MK of!zIL}& qpٰ~{MpwSgQfy}ۻ8@+<hq-&M]R, ]R'> YҴX377Lkؾ [ZG= pc3aA s "gYZ7zXZִF! v B]ŗXi%;ny¹-v}֨Yq9̪zz겕>Ni '""^~M$?SAmظS \yU8Y,U8a'!#TlU]Igg$7:L}c_:dqWd?wχG<Z٦nҠQ,Vi(V+IVܕ}oW%hX-r$')k(o㸫ϱOG+*"tXu?^Iq{syd<*kZdRQ|d"g׮LJ"YP`nX#r+>Һ7B-<okD( ~-UX2Ƣ|:[G8lC!'^d™3 79xwꅼu% <˕*tBc]߁ 2>`g_&Bp>mdVnZ~o72S=v۶_t3pDʏ iɺxΎ}+PȵgT_~^tivf pmDV>E/gkZq?uO ԨmWj"bq0`DFǂY[U҂a߄+`Mܙ O:[ԃq8`\sH1aaG?2pyˁ 1J9+ bX ^I^M}[랑<ciw[>[۬ R:N+?[_ɩ9'ψ\$nIoQsq7Pn"v>}u{ވ`&x/5>+L+1ЀrRo-XVU{gZ"|3("JxlaA y9ቛTdn y,|{W&k%fI:;gQ~Ov)M-ZUGA5 YKF2V׋U;;%}(ק?+q?aG@j,8SUēH<5@{(;öʸOebr jDB% 29GZ#!H1Dc9,eaIƏ&[rGf6=H˜zA]NA8Bc2 Ǵ SoKpv]r0!c:Icd94C \쫆K_qqخ<}t*GW6 r q _)T^~L1}ٯUvҰ }oB;m /5V$[eo^n2xJIK0fP5_S6HV%-= >z_9.Do-oӫi1HfUܵ0#X[#} lހ0Dd\k=¸,M|Ak)Z )'?I82>dWN(ez9C N>/|x-('%aIÝEW);Qp&~&b~#'7<+=fln[+$UeD"p^WA@<t|;۳FYeNbGTA~ 1|kI'Q9s䦔#])MwX$pƌЈ)_ºBz5~נ dXQ;b3狩[a@D{dAsHQSC`AhîH۱O %y^[6Z#L0E^Ӛ$ן嬕i\Ka)[[#rEx/ZA X [>!wTӈȜ6c?\+X럟|&D 7,|&Ki<*Frtm=^7|| Ct.q&PJӲebς|m!X3j":5BřDא$=|һ1TM S-+9pl%0ɫ^ p5j\ρ3:zr,a;:xE)f4/!~23v<[E =Sw"Ǔ1E kQ=gH >bgTukHvR "LvG*3ܡ6].$3gx~x Kt?լL&I]m?J& X p >eJ.SRD^^̹!C/qЊym^?G^FW`uVc^n>YNT6~Iwx=?D!NzcgYZafd8e060bef51c76e798eed6a8cb492d881ab86d1557763c55026864eeb1fbf92ab3ec60267ee348 5cf7dad23d1e903fd6eeee54e5217926f169a0e4 f620dc0ce12f02b1142af6085f055d1ee0747678 9f9a3d363620cb2df62810984baaab9f9f0db26216807fc0926b635373d181929e2dc9bf8bc9ebf1