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 PP%7 | / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.895cpu=5.392gc=0.064factor=1.867zXZִF! x]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc~ y43m6nO FO2$0!ɁsaqWLmq]DǛs0Ź:?Z7ok#̬ ʲU>g1UFҘߞx6̸Bri8!8zvd{&{e# LcI0<ˆy+X萴ʖOid^s+n}rFZ! *_ gYZ7zXZִF! A5]ŗXi% -ژ/]1vA't(ߨ 1q9@QIAVԸVH<Sn_Dj#`0p}a-(:Ja 3ý~C~\}Dus~߈9츌Cۼ֡6gFtmBOڡyNnY=>+z0m zL<1Ue')Ll!#rnE|W>.Jl ژcW z|poil=(j%rnRɥGQ~Ib#VI/jٮfUZ=ReO'KrtYiFF #Dj.pm88L5xPj3 gfgƼ#=o=Iͺ{R4flNMկ:|'jTp&uJwAנgjqv=z yY@Ԟ{&^ha׾>fSŶ6oz gY.o909 h. gYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189d70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9