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 ,,Q ,,| ]/]HOL-Word:threads=6elapsed=9.074cpu=40.424gc=1.488factor=4.457zXZִF! Z]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yѦ8R0A% vf z.dP mb:hy6n'Ip6Ɔq4@@. $1 TŽմCE-^R Ý$aI]&N5R-znŴ]9*TEqas6RMH ,?&T[[rް %:δ1ghe'pE(.EfrT FyT@6gL(P\es=s24v?F`mN^%gpHNA,9 {'gFRckJX|L8G /N[Ik.:FS &dydtf:N[qoWT[P?YAygUƳa:d]E5$+BvZ|SSDu*^S7$W4@x\x'j9.m:d) e䒯>Ӑ#,3t=+$_v$]p'4o֐T?l h%qµ($TwוB?ᯗׂQg/VLz3Uw]Ao! :_re 'Dgfm>Y÷/l]?/BCfr Z>K,v9@i9/NBLE=Kt$hCD@]/ϰ4V3mTj beaگ@<-8M&X#. C=,ǿ [f\P_x5:<ڎFŷLj95pK$** 0: [`ԈZ4;==F}:A,_ (ش{(>d.nqbMm # kp:ee>"'uTOO1s{,RM SKQ B"jXnǪS>&׸؂O8W‹.__dd8_P8d?xŀfb*N%$bez\~qV8zWIx#FO0b /,"UUɛ <~^O=CTl@>,b̲\'0՚6}X93gXDlZ ~5glqiJ VtG?.x_=\[6ćB]z.tWtdQӂbWеXȥܭMΣgunn@G~3m$5 ?ʵCbG(YgPR1:yyxV&܊5Nkk93EnYD6 gYZ736ace617416c467056f0f4586b942cc3fd3e25a8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 26287f7258648103b1684486e4620d0d4bfc2934d7692d3cc37a7392deeacf2e76751a296bf017ab   HOL-Word