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   U-$| S/ FunWithFunctions:threads=2elapsed=1.597cpu=3.016gc=0.032factor=1.897zXZִF! w ]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B<5Dub鱀KBHv˹b f쿠9L/3 - FunWithFunctions߉F[ P >r`hI_{LJx3!f45 &w;?dehc5՝AE`( 1)ٛ ElI@ Is% I-_U߇7M9ai֛sf +xjCve=2gYZ7zXZִF! ]ŗXi%m]q[3T pǭT#$H1g(Z %V0C=m*ÙưG+mS39jL/ό&5.ԗ:,hi;0kAY4Ў. S+M%XG׫-W`=Tr8ʇS]36^@0Ba[PHulӃj~fig8BVv("Nte^rNu`VײĖXQ" u ndɖ1F 3qեD8Bk;zNi"ND#=CrސpӚ^$@ѿN> S!fOX!0.jZONuZ1} g.xn[^+"TW(L},~&jo}Ѱ@E?9-vއJPbiZ#5ȜTRҮI ^˜k,%A9%C3gYZ0a0f83ae5e4d695f82d4318d8dfe758cf3275d42 4a6de12686884db0c6550a5751b6a0239d17b514 cdf96bbb36183aabd3529179c0ca28183463ea1a eee6079cf6780ae11f9d05bd5893987c93c480a3b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d