SQLite format 3@ - llB77#tableisabelle_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, "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 /]HOL-Nonstandard_Analysis:threads=6elapsed=11.057cpu=31.052gc=1.032factor=2.817zXZִF! rK]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sg~2wIm^It TB ]4=æ۝iVPgoK4(x9.?I^ ~-i'j@8qä2Ǧn猏r|0>[23ÒzBB$f)(CfiMaaP" m4M`װ[KBp#|`1*NT(-jTQ6?gu|zd~CuV-@ږ SZsPo@u(}ha~ rNK-؅nBM' (֟pٙzq+[fdC8PɝM Do6E[߇ytѵƗ# GHk;IY.#{;Qe*D%z^̡3f = HOL-Nonstandard_Analysiso& e0r`'3nOĮ_d~h.vc{y ȧa\./?#wB)^TW_R+C>OְNJuϝIK[֦.[]Y (0<#[x%\'MQ5؝ZS@^ǭuCD %to8'1Y%71IS^5\ a2!G n3ɔNiɊ9G0y٘*#S9! 5<8mSݬ87uokq6&S5d$ ] ,9,znoֽD-&n f(lD q}cM[`h}~H ʃ0} Mg}4tV#i-T\`ǯyYE[ ybso;|3Pd;OB,./T / {bB\T3-Y6>UKk, ;]^wN q \6)jM =߱M7=\nYEZ/^W#%d 1@u Y{W=YCfl 8pITݒP5taH,zw Bc!~E F+A1 d'W?f7fւL ϣU:][V$+ach=3ba)хP^Pb,eaW;0q\a~m-?~x/kPQ>< >K@*ft W:\eJ=SвAԄ{²:[.8 } N*k_:OX:tG:\ >) Oc%d~) ۸_S 1p֮ҜZZ&%efDE]I$*g*< 1 1B_\x R }vgYZ7zXZִF! 6@]ŗXi%:vƟ{8y DáFRjEݢ\1Tyyg{/ MR T}uK9E0Td+&. p8 /\L@w|c7\dbOu;90k֗8$VIN$NjoC}'330cJ-"J-‹zɘ-޵8hC9_ǩP0UK.\Bř>9Uc 4@yqK^ؒא'N\l=꿞yS^Iκ9J8Q * CG@,d"N7wP3?4Fw}#3#_Agru]y3'Y,0X'acKHgz