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 k \ ] Separata:threads=2elapsed=14.090cpu=26.916gc=0.776factor=1.917zXZִF! ~]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DAT$5-_QMg0Q.|F܃96%&Pj(KF&MLjTԠTZ;,7ά_z氕=}yF4nd>NmҬQ[r_ſƁm3=K:vEy5j=X{sFp`"~1OHwtcØOlk9&aEOo N[+j޵zzWФ*IHYQ Xm] *Ѵ,i@2#ƼA1BCAC'7/S0bx׷gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko}Ej)}Jy _ZD׋DEHr.d*Im[x'+U 1$C_=V%ےr oBVJݛh}|gYZ7zXZִF! RF]ŗXi%93,F74 6/a6ѢJ/Q> .zY!m'/?[;:rh7" je.`1ˎ/s-|24vJɟ>݄+&zRI{9RCQBW*mS]"-@8YX L,xIUv 3=\HUXf. |. j٫ɜ6)پ="E ތDDE8,1JE):K%J€WM,˯Ey<3 ^EG&Ete[6YѣHPLos5l*Z㰀MQnR.JTO,r7i\g$}j0G]YT$ēL$MoR6OrMwmh4%kj(U?)I}k\ٟҎmfӽfYJK`c [K'm F#Ϥdg<:4^H㈷%(BL]Cn k!xB%v,O?=SM{Y°hwWfgb pΆh }R-M]I{QW 5B8FMq1%/ ǤugYZ44306542ddebd03a123dbae73bc3d08e90e37363a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039   Separata