SQLite format 3 @ 8 - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #doS]HRB-Slicing:threads=2elapsed=504.212cpu=967.428gc=32.068factor=1.927zXZ ִF ! Jr] ŗXf1-/6vRZ;R sTcvhiNj]MK*ݐo͏v*흀ˍ=ƺiM>yVSѱ,ɰ'ܠn%tCyп<)"@x>WAEH ,!mdjs[!5U FΘlf[X|HTum$%Mt~UXd4kjVf[a$IFXJIFFbJ EDh+ o-ץ-GSkCLw'mqG # HRB-Slicing ZwZ δ)4han%5DžDaԟWtjP]U? F6mPWU?lR!F(6sRTl @ bE=ŀMqJok6)! rodBwiB"쑺S5*mil9űTA_NQe 8>@}oLΆ7st_G
) <}TCƭg٣&,5fgEM+QSTtwrQfSoJXaлVxUw&4[GOl]~kOBlڑE! .^]h1(rdAY4=kA&E]^g)vڠ/:w=%S,:HTSisyB(#b9 F'RhX}cv'}6
"ޯk3\=ӕIC2Q`E *ZKqρ [ҫ_hra؈5A_R]d GTjR3faHf!d8t+"3oֱ=j2n.mFltUMt\ˡFV+bYAI%7Zy# SMG;kN%
&s%K2d/Rzj+g&4%6.*dm#&:Gq.J~YUoVy|NT>uByBaO%=E.)Z{L)̚Cb$)'!j
Nn.l% ZzwYl^ՕOQ.0;mUY`w{M\Sf
Y:G L.LOO5\MTٲgiϨyȹU6`Ddc|;mtPڰS(-Xv[q+og7Ѡocάc\B8+YTJv"ZmIC=,QٸGONi\f3ꄢN5He3[#k꺯$̔1E䏂cdpa&\4(sf4T/sb2gԏ Kt}`]?LM}JB#x5`0VЭ$ʝA3_bu /?;AKMHW/W3\\0[hnuE%CA rۄx`z-6gw~5T8(Α,ofZd`aI֤qIЉ~j䴺7Dۥz CIN}85sWPu - 1x+Ʋ㥞.ss75^ "1r)EG)] %6=6}KszEd{AE-0{"2$RYRmjY}:'7-'-Τ`Aݜ"'=~w r H%Sj/i{>4S7N4%PL:Cn@!h-)1,Tz?yQ &WwWnIJV