SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 y $| ] IOA:threads=6elapsed=7.614cpu=33.252gc=1.416factor=4.377zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K eV%F>U?m1s\˩CwnOdhT*o>WdDHQ!,d~yƱ< wOUz_rH2ZA%8^^i]kmwG>)ZK77$^*^t+׵֙B\Ţ\0%Nof6B y$ (,&E:o ( Gހ7g?QFيӚuy촭*Oa`s2HDƃ/1w ra掫/ ~2wa^?e|4f/Kp!&.mpE32S*03ӄqxS >3Sp b]V84* (hШPbY<e h6H3,gYZ7zXZִF! `w]ŗXiɟdN'LvH۹$?vYjРC0hœ35tؓda) ?y iõRe#ǝ4!=r(.hϹ[ ʖ=5C7,fG-%b۽ɬ|9fs!EbUIG7oտ-S a)ύf lFu]&rl9AF&Th!`3!6)+ڣ=A?9<>`#E('#|Ѻ;` @WI+ @ Ջpl!^%Gp52,͛`x""cOFg!`u {U&6װ-r6U kiS|gYZ7zXZִF! &]ŗXi%> {ۨ4GC^17_u4C3>7i\hV3 _[ c-G"00盏@gGRӗ>B°!,üa{:IIEz\bU89#ꥭ"˅_G д-<7WZJFںJhїáGYb7Kۢ:5jy^.A6dj#@T r Mnɒz-$U~~ 5 C.-(`K:11 4+t490zA*%D-ݠ SX UNȆ䊰V&qc_Džq}>LL7JI9u+