SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ft S Triangle:threads=2elapsed=5.844cpu=7.256gc=0.072factor=1.247zXZִF! 3]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH:!}h+Rzc7wX1Ub,,'-l7WUG&תN ^)OIn)RG@WXG#a˖jDIl"c="J*Yn-/Mr 1VRhWy' cuPь蒫P"X1R,!PuF!%ty"!V$3:w%3v;O h3SfQ#.8N'|PT+6gYZ7zXZִF! "]   TriangleŗXi%B׆`bY(JF6?jӟm/P ٘MAÌ)-܉`jCSA;?^&9ܘKۉ^GQJ > utF AwaADec3*#&o*-G+gM8{ ;IUE=,W^6l?"eR1 3ǛF9jjWPDj_,XwoF4|Y^;Wu R*t\~r|v(W}kjZC &2Ϣ5zVBLq}b>)>4rՓYAǮ\=D5屾6d-{'Wdx|S xH;A.Q^`%U m!u4k?> 10ZY?*_%rm)]5\ P\|CuލJ4wLٹ o)G3zJ*vhuմ_#CŧFD(S9} T0LԂoVܡ+CDXqS$(!cBVNdwvg 9"u"gOsM$ao|\s"Jõ2yXZ3QE^a,F@}#wA#JF . F-& ~U׮3%1Col\Vѿ5T+ q6i(n2UZ@E@_W$gYZ6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe a6a43889b056e0c853e05ba1144d8e3841584ee6 c8c0d0f53f45831b0b38684c9c05a79c669745b4d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f