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 Y tt ] IOA:threads=6elapsed=7.023cpu=28.228gc=1.072factor=4.027zXZִF! p]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K,c1BÅ'`V沀{KǹR|$qh{ }z- ک9.()AhRfO`0Z_VҲe󕭊3ÊO T769}e dB.EoeXo`-}8|-q;Ujv8g4 5z**f6@#p5KH 㖩6Ģ9ptFѝ1.N67l:B;Jӡ>;{C1{^# 5p]ۍqi7޳y傣wޠy-;Ƭj"pM B:p6yа)NcމJTnɳiFSeb mYr2iȔ>,gYZ7zXZִF! `r]ŗXiɟdN'LvH۹)s}%Mq\d3QQ<q"k մEYc_dv]%&g_0qB vŠ.U}APQ r#r\oGUQRO'DJ*#W'`SVߵ$SFph4RҚmMtƊ\zkԌUk.\` { |cb3=_IOY/k9g=?kBsF= ٖK?CK_8seYdt!|?4yS8)o.rT)3P[7 v8^;h'fxr.}AN˿7 J,2  7~IX .xñgYZ7zXZִF! #Fs]ŗXi%;k d]'ؓ@ р$y -ޡ9/0 ^C Ks2fWS=ڭIENl0dYIw{5ufJ&XP< 2~?_BJ+x^oމhc#gț@ΕqcOW8c-P]P D=,<=Ij%2ږΔZRyg)/m'37cum<ib Di@oL#>@jaudN^W=S8Z@t&ېz?avUQuvhBg//ӷn>zrKҮѾd)b}L=|P&CDQn_1Fқk. P|?pb`tV{N6`Ws5NYlGڟJ! ZIו d@u)yR.-h ı1e^5NJN춐x yFLT>v`/QXX؛ -Ƣb+\㽿VNTӛZr>3El(_d]I?Mw֋[% [TF gYZ8791c4eaa709072893149060ddb6896180c63d211667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019 b8f739bba447c7e18177c3f112e7a285e337a3d1  IOA