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 | LD ] Datatypes:threads=2elapsed=49.174cpu=71.040gc=5.512factor=1.447zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sb| p.5!h.wǖܻװKX*5ȴ|VLs6LF)9R2ѕYM' e1F~Y}#w Τ=;`Vzי,qjB ۫'G? dL4O"gZN5PJ/$ r9wauĒKs&Cy@"䜺I)3u%K#4vNv`ou(׼-`:<1Uu|KUzQ5&R@M5U֪(Dpĕ=Ul0%m8el7XmEd$&Cy+ɩ|F1MN xGBqu=/ǿQQb ~2r?>wrWe_1,)VȰ: IP\tHXC~sޙ}n*KBOy.YF:|4J o&=rw(?L {7Zr/@]U3C/4: vkBpě,-gYZ7zXZִF! ]]ŗXiɟ&zLo16;_q+J9ξg\+̦$skܕgRGND qbӏ+X5)%RxAgf}] 'z(3gR"f4"nJ2eDrcs0t{:}2`}35C]tnVL:Z386Ea֛q .UuW8 6uߚoJ`ә@mB Ƈ_F' ;b7{ S _^1gj-.G䟚Bj7LZܶLMxD3T*:?l܌tߧ&UW3&;Ln h282oW#PB2&g ?φ7 ~bO`?e^QIP*!P DjT h'8}< 2$#H)pn_{|:܇ eXdFVʏYњJoBq (xO}D1n*EaeN&i<̣_NFobU[L(iwUΏN87}HPߪ*ȡ`'( 6ŋh#/>s.D%El^}!$YW|dgOLVTi9uNβhiX/0,B!z9&y3/Vzd_RA>um'A\qw=¬=-;"ȶfOKť3 v4<ZdbdK㎧v /}fˠQ؆xm:Ș\7z\mc YjK$ip(֎;bPblqG1#kۈz*,B{N#ǮT'oP4m=&J~$`?__kfSu/s^ [$ՖNX=W5سio!o4l\y!i~Y۬$Jnφ}N_y[('8̀c,c%Jd:t̶'L$z=cGODrrQ+Gp (j=|q{1/E "e@mciZCU]nxr̫6/9C _YXm"$ؚАg]Yj v" ,`pYGZZ\NPَ:0LՋZ&B$oYGճp'EJ3bk/rJA\` W:\c}-d =ޱ 6trO\'ol̍Ҵ{Ndc ׏i0O@OH[+?d$(@Ve\xݓj%q[ZӂKAӲ5vG;$?C>OB-`ƭ.ûf;`@銔Rtdlʹ#߁gYZd057b585df608a7a045af9d5a89153a654ad562f6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5   Datatypes