SQLite format 3@ . YYQ77Atableisabelle_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, "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   ~+ T S/ Verified-Prover:threads=2elapsed=9.733cpu=12.812gc=0.384factor=1.327zXZִF! "]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\O̙% NbeKD,[!HUvzL:qa sNkm W(͒w1OH NO2YEDnY"]ʵ!e+2= .j1GݖX 0R fO9= 5?;9ujogYZ7zXZִF! 81]ŗXi%6i+pt<;MHw J1N<0s)1E,37\*z]}\( u7He j ڔycv|0N9E!ٯeٴ[ Ň'ʇͯ/f!bׄeTNxo$Z-z¤N;,g \Mf+ _Nz*50I!vo%9#aX+(b-F'ҾAIwjnF/$0XMo?˕KN1QNRpcOUn!*l[GMxN hbXd 4LnyO;_N ׭Ÿtf)/լsBжoqZX֭G_^*$"~f%[N>NݙfXMBeo:3s%k5iud7MBC,J"ݸTE"h{q`8' 1r& 퉞A%9lXQDႦoxS2뛝~KTP[A~/z]KI[a+WLeNy=֩SzϨ<|$y7MݙnogSmJ~": cRE[jV/d.B*k*hHhdIk pʌ{hwb; dR]Bq:1é(! C@ǝxjJ#a+DVh`m Ʈl: L cd=c#ABWb|:/ E XX+n*'謂y=nGXU[cW'fv)J`{/?:zu,ruzp?gYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a0f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 + Verified-Prover