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  %1 4 ] HOL-Imperative_HOL:threads=6elapsed=52.230cpu=75.552gc=2.412factor=1.457zXZִF! 5-]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi痯ft=цO=ZS7g{B\ ʖlH:0 ;(H.fVrxkQÄV1ΐ6E@>*%g@8-8l}CMlA_G{CEW`)V+kY2heKPiĈ/> eUWoz&} ?ŭF8+ِlDZi Kc`QK6W!MMVBHT2o 'q\@j; X֜A jlIƂK`++Gވ,Zڀ[!t 1 HOL-Imperative_HOLBWꊍx/?A# /oӽiKD=Gap1-{pp]aRZIVșC|D!ʽm˓ M4}Py} x4J㠥 źI7"=iϳ5)QoJg}mPdG$`Ξ9ypx+5:QN5Nkj焮F%>*8 aROZ)1d9 ";EpW6'T:tn6iplq _[cYheã9v X\xpXڅL?̣qpUbNtϛ+m2ͧf_O= p,`Ugzaaˍ4SiQ*7 $sb0=fibsi[lvΕ=CV}\QA3]fTb,U$KGa+2z ~nj^ 9N%pV5.Ĕb=z.{oCMa7).ݓj4ѱlaLeP&/gUa=Hn$XD4C^˄܌-2"Ԭ'Bã?)hmTowJK7xe/d]V~*Cpl'w1{  U j"BgYZ7zXZִF! H]ŗXiɟ1nhЦx"n_8N]( eOtd9a^63\Wϑۑո~ 0%pπĚ/6%czEډH 2hKQ( 9U]a:ۮ0$; $9:+|,[x^!7Q}бQ g݀o\>ܬ"dFtr~bg ;p%i7nN:sFյ!^4 (fZOnK0{̣*58暐7NAG M|5+{ ,gYZ7zXZִF!  ]ŗXi%96.N24/t\arBɲ ZdC."_aY:yH>ӭ>NI9,x(UՑO0]O<"x@E>e`i(?cO%@k(:gz6|R?H *{?YQL7SJjnv7lOLp7ԟ%~_{Uf4SMT1ز[5iS;Wn(ߢZs]m]`E+:Q_MU_ }Qg?J{(.J͔>iX9X;4;ǡVnZW%eەǙ3 vO>ju\J) X8#z xooڨ|mV[m쏶L :Ye]PG_.о>VuhUlnN/6Σaøcgpe|L";Hd [AO1<eyg@#l_ċw%3'~=,gTU&P*ZڪU B֘ylʳ0D?8s;gFؠ*Q]fz"X4`Ĝ+/Ԧ!GRD*Q6MI4|$ޤGf~~C5Q~EEcthβFF#O+{ol-fSqX9 7^}BG%Ң0TEOx0L)x[ 4{?K[7\t5=A6A!8&A](WuL_]w{4G"1R&~gd{lY>@'Z;8*S͖EQlTZ7 &z fIT/tWI-tXޫKr6@2d/4N[Ӆ(]IAo_8 ! D0%ӱpl̟HM{Ð9p~!{G]qtQc7SCDʼ+SW_+wRW!%f姲5v]bk$fJD,%_~$@lQ?'hfzY\8 =%&>Δ8ʫe%Mo5m NW[_~ ;-mC̗Y2U'L?w=x׆k(uNJc*?h/)Uݟ0oU~]NL+ ]`U)`g7Keqm}^[ŌY8Yk$1tp-Ow a|Mw( .^w^na]i. S[fe@8a_ØWQK#QUcdZi@93D̋Dvr>HSYIA+&є⮓,_pN/ +q>v\Ä]W=7̙ؒD<&}o5Y­Cuh7CV்83_>֯ȞZ ̓ƍlG88lۿd6az  <O}c4DAwY.5ji{ ϢvAMլHEMK,ԏ)UA {mwBc3/- }D/'V=d^SȨ.n HZ .!pbPڤ:o%Dlڼȳ{3˱7;Tf , o6X4p a Mxe՗ +2%]ģDm1JlT&- vC'^h BbuG͋/bU5rɹ@~iǒ9 MV֏xm{HkZg cʭVYyŖ_ՙ@>; " TOz$^e4ť0u7KusX1-![$3u(R5tBT^+\2)$5 8PLm4](gdmj@p&04^vТH, a(-eE" i Bm0 >Ϯ%ӑclk2?w$3NxɗKvu+8ByM7pMcDcnN@bRgYZ4bbcb6703de5750048ea59da1e382814caab6d82b7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391 96e7d01d2e8635fd01b39dbd704355426dd3dff7