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  q% $4 ]/ VolpanoSmith:threads=2elapsed=8.093cpu=13.980gc=0.652factor=1.737zXZִF! |I]ŗXf1-/6vR[iB9Gf}P9O`4Fm;s2ڃw)"kv7T4g$:A';yxX_Ϥu&/{HHS0c`gߴf~:Xۀ{k:9G4q tBQy̓_."ͅc ۳R413H'4 q>@ʄMyvԨe 0,!&C/#C&ðjDS-`Aeو:n 1KDGR9t3؄>b$|gGb0UCw5d/o,&Ԋ`6gYZ7zXZִF! {]ŗXiɟS+;̕*A!@l@?UVfp+k҅ U:V@jr\OxMXkņ7o)\R>t<lm/RH@q~~ Gd߭`aYmuv橴ga[gS(=ދzyc,LY3Q9VsjZTMH,4vxgX8 k.OO*sb& G2ײ2EsXxݦ&|K\Q3AiDw iq}Sx)ݨ&;IJy; $= m ,^_Kv2mU d}})߃U=d'4miXp<5ohkoojT-U*G\Ȼ5x10un +`s:$VHf1^ "5ꢶ桎"iئ*T~nbpzS G&_P_Kĺ.+m$P MJAd 5.zf'7R[ݩ{ymjqo-@_-L1#JD@GK>f,uU|s[>9dlgOw`7 Dɪv{ +WJg4y76YsVmF:p.}-367ĚAK)k T.\V.|$RZ/Jϣ ,;?D Y T%l4o'Q4Nf܌u̐C6teqYo9WU$5\uW!X:B zB/+jz^ uktBH7-,bbf_op[ P`9H_0V=I#tyD@3f_0o̎:Daϣ?C%skLk agYZ7338c4ceed25e0413d0b7dc288a4da838d53d307a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 % VolpanoSmith